• 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...