Casper: A Compiler for the Analysis of Security Protocols

相似書籍

• Casper: A Compiler for the Analysis of Security Protocols
  由: Lowe, G
  出版: (1998)
• Analyzing a Library of Security Protocols using Casper and FDR
  由: Donovan, B, et al.
  出版: (1999)
• Formal Security Analysis of EAP-ERP Using Casper
  由: Khosrow Ramezani, et al.
  出版: (2016-01-01)
• Sayangku casper /
  由: Mazni Aznita, author 309478
  出版: (2012)
• Web Services Security: a preliminary study using Casper and FDR
  由: Roscoe, A, et al.
  出版: (2004)