Casper: A Compiler for the Analysis of Security Protocols

Registros relacionados

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