登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Formal models and techniques for analyzing security protocols
出版社：Amsterdam ; Washington, DC : IOS Press, c2011.
ISBN：9781607507130
出版年：2011
作者：Cortier,Vaeronique.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Applied cryptology, cryptographic protocols, and computer security models.
  • 作者：DeMillo,Richard A.
  • ISBN：83015548
  • 出版社：Providence, R.I. : American Mathematical Society, c1983.
  • 出版年：1983
...

Applied cryptology, cryptographic protocols, and computer security models.
  • 作者：DeMillo,Richard A.
  • ISBN：83015548 48
  • 出版社：Providence, R.I. : American Mathematical Society, c1983.
  • 出版年：1983
...

Techniques for designing and analyzing algorithms
  • 作者：Stinson,Douglas R.
  • ISBN：9780367228897
  • 出版社：Boca Raton : C&H\CRC Press, 2021.,Boca Raton : CRC Press, [2021].
  • 出版年：2021
...

Engineering and analyzing multicellular systems : methods and protocols
  • 作者：Sun,Lianhong.
  • ISBN：9781493905539
  • 出版社：New York : Humana Press, c2014.
  • 出版年：2014
...

Scalable techniques for formal verification
  • 作者：Ray,Sandip.
  • ISBN：9781441959973
  • 出版社：New York : Springer, c2010.
  • 出版年：2010
...

Formal description techniques
  • 作者：Juan Quemada
  • ISBN：0444890246
  • 出版社：1990.11