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

Operational semantics and verification of security protocols
出版社：Berlin ; New York : Springer, c2012.
ISBN：9783540786351
出版年：2012
作者：Cremers,Cas.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Programming logics : an introduction to verification and semantics
  • 作者：Gumb,Raymond D.
  • ISBN：0471605395
  • 出版社：New York : Wiley, c1989.
  • 出版年：1989
...

Higher Order Operational Techniques in Semantics
  • 作者：Gordon,Andrew D.
  • ISBN：0521631688
  • 出版社：Cambridge Univercity： Cambridge Univercity， c1998．
...

Theory of program structures : schemes, semantics, verification
  • 作者：Greibach,Sheila,
  • ISBN：0387074155
  • 出版社：Berlin ; New York : Springer-Verlag, 1975.
  • 出版年：1975
...

Strategic disarmament, verification and national security
  • 作者：Stockholm International Peace Research Institute.
  • ISBN：0850661277
  • 出版社：London : Taylor & Francis ; New York : distributed by Crane, Russak & Co., 1977.
  • 出版年：1977
...

Cryptographic security architecture : design and verification
  • 作者：Gutmann,Peter.
  • ISBN：0387953876
  • 出版社：New York : Springer, c2004.
  • 出版年：2004
...

Software Safety and Security : tools for analysis and verification
  • 作者：NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
  • ISBN：9781614990277
  • 出版社：Washington, DC : IOS Press, 2012.
  • 出版年：2012