The AVISPA Tool for the automated validation of internet security protocols and applications

Alessandro Armando (1) , David Basin (2) , Yohan Boichut (3) , Yannick Chevalier (3) , Luca Compagna (1) , Jorge Cuellar (4) , Paul Hankes Drielsma (2) , Pierre-Cyrille Héam (3) , Olga Kouchnarenko (3) , Jacopo Mantovani (1) , Sebastian Mödersheim (2) , David von Oheimb (4) , Michaël Rusinowitch (3) , Judson Santos Santiago (3) , Luca Vigano (2) , Mathieu Turuani (3) , Laurent Vigneron (3)

1 DIST - Department of informatics, systems and telecommunications
2 ETH Zürich - Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
3 CASSIS - Combination of approaches to the security of infinite states systems
4 Siemens AG [Munich]

AVISPA is a push-button tool for the automated validation of Internet security-sensitive protocols and applications. It provides a modular and expressive formal language for specifying protocols and their security properties, and integrates different back-ends that implement a variety of state-of-the-art automatic analysis techniques. To the best of our knowledge, no other tool exhibits the same level of scope and robustness while enjoying the same performance and scalability.

Domaines: Cryptographie et sécurité [cs.CR]; Génie logiciel [cs.SE]

Alessandro Armando, David Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, et al.. The AVISPA Tool for the automated validation of internet security protocols and applications. 17th International Conference on Computer Aided Verification - CAV 2005, Jul 2005, Edinburgh, Scotland/UK, France. pp.281-285. ⟨inria-00000408⟩