Analysis of Cryptographic Protocols AKI, ARPKI and OPT using ProVerif and AVISPA
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols