Casper: A Compiler for the Analysis of Security Protocols

Documenti analoghi

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