Publication

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

Proceedings of CAV 2005

Author(s): Alessandro Armando, David Basin, Yohan Boichut, Yann ick Chevalier, Luca Compagna, Jorge Cuellar, Paul Hankes Drielsma, Pierre-Cyrille Heám, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turu, Luca Viganò, Laurent Vigneron
Year: 2005
Publisher: Springer LNCS 3576
Editor: Kousha Etessami and Sriram K. Rajamani
CR Classification: D.2.4, D.3.1, F.3.1
CR General Terms: Languages, Verification, Theory
Keywords: protocol analysis, model checking
Abstract: 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.

BibTeX entry:

@InCollection{avispa-cav05, author = {Alessandro Armando and David Basin and Yohan Boichut and Yannick Chevalier and Luca Compagna and Jorge Cuellar and Hankes Drielsma, Paul and Pierre-Cyrille He{\'a}m and Jacopo Mantovani and Sebastian M{\"o}dersheim and von Oheimb, David and Micha{\"e}l Rusinowitch and Judson Santiago and Mathieu Turuani and Luca Vigan{\`o} and Laurent Vigneron}, title = {{The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications}}, booktitle = {Proceedings of the 17th International Conference on Computer Aided Verification (CAV'05)}, editor = {Kousha Etessami and Sriram K. Rajamani}, publisher = {Springer}, series = {LNCS}, volume = {3576}, year = 2005, note = {Available at \url{http://www.avispa-project.org/publications.html}}, abstract = { 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.} }