Analyzing a Library of Security Protocols using Casper and FDR

相似書籍

• Web Services Security: a preliminary study using Casper and FDR
  由: Roscoe, A, et al.
  出版: (2004)
• Casper: A Compiler for the Analysis of Security Protocols
  由: Lowe, G
  出版: (1998)
• Casper: A Compiler for the Analysis of Security Protocols
  由: Lowe, G
  出版: (1997)
• Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
  由: Lowe, G
  出版: (1996)
• Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
  由: Lowe, G
  出版: (1996)