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

  • Referenced in 3 articles [sw06574]
  • Using theorem proving to verify properties of agent...
  • scyther

  • Referenced in 16 articles [sw09467]
  • The scyther tool: verification, falsification, and analysis of...
  • ConfiChair

  • Referenced in 7 articles [sw13266]
  • Privacy supporting cloud computing: confichair, a case study...
  • Akiss

  • Referenced in 15 articles [sw20605]
  • Akiss is a verification tool for checking trace...