Casper: A Compiler for the Analysis of Security Protocols

Նմանատիպ նյութեր

• Casper: A Compiler for the Analysis of Security Protocols
  ‌: Lowe, G
  Հրապարակվել է: (1998)
• Analyzing a Library of Security Protocols using Casper and FDR
  ‌: Donovan, B, և այլն
  Հրապարակվել է: (1999)
• Formal Security Analysis of EAP-ERP Using Casper
  ‌: Khosrow Ramezani, և այլն
  Հրապարակվել է: (2016-01-01)
• Sayangku casper /
  ‌: Mazni Aznita, author 309478
  Հրապարակվել է: (2012)
• Web Services Security: a preliminary study using Casper and FDR
  ‌: Roscoe, A, և այլն
  Հրապարակվել է: (2004)