Analysis of Cryptographic Protocols AKI, ARPKI and OPT using ProVerif and AVISPA
ARPKI: Attack Resilient Public-Key Infrastructure