The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

Alessandro Armando David A. Basin Yohan Boichut Yannick Chevalier Luca Compagna Jorge Cuéllar Paul Hankes Drielsma Pierre-Cyrille Héam Olga Kouchnarenko Jacopo Mantovani Sebastian Mödersheim David von Oheimb Michaël Rusinowitch Judson Santiago Mathieu Turuani Luca Viganò Laurent Vigneron The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. 281-285 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_27 db/conf/cav/cav2005.html#ArmandoBBCCCDHKMMORSTVV05