Casper: A Compiler for the Analysis of Security Protocols

Lignende værker

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