Results 1 to 9 of 9
Sort by:

  • Casper
  • Referenced in 95 articles [sw06559]
  • subject to the assumptions of the Dolev-Yao Model (i.e. that the intruder may overhear...

  • ProVerif
  • Referenced in 43 articles [sw06558]
  • formal model (so called Dolev-Yao model). This protocol verifier is based on a representation...

  • SATMC
  • Referenced in 8 articles [sw09469]
  • flexible platform for SAT-based bounded model checking [8] of security protocols. Under the standard ... most general intruder based on the Dolev-Yao model...

  • Coq
  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...

  • HERMES
  • Referenced in 9 articles [sw00403]
  • HERMES: An Automatic Tool for Verification of Secrecy...

  • AVISPA
  • Referenced in 87 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...

  • Maude
  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...

  • NRL
  • Referenced in 34 articles [sw12158]
  • The NRL protocol analyzer: An overview. The NRL...

  • Refal
  • Referenced in 45 articles [sw27634]
  • Refal is a functional programming language in which...