Results 1 to 7 of 7
Sort by:

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