Casper: A Compiler for the Analysis of Security Protocols

Ítems similars

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