- Referenced in 9 articles
- HERMES: An Automatic Tool for Verification of Secrecy...
- Referenced in 87 articles
- AVISPA (Automated Validation of Internet Security Protocols and...
- Referenced in 3 articles
- Using theorem proving to verify properties of agent...
- Referenced in 16 articles
- The scyther tool: verification, falsification, and analysis of...
- Referenced in 7 articles
- Privacy supporting cloud computing: confichair, a case study...
- Referenced in 15 articles
- Akiss is a verification tool for checking trace...