Automated Security Protocol Analysis With the AVISPA Tool

The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security 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 automatic pr...

Full description

Saved in:
Bibliographic Details
Published inElectronic notes in theoretical computer science Vol. 155; pp. 61 - 86
Main Author Viganò, Luca
Format Journal Article
LanguageEnglish
Published Elsevier B.V 12.05.2006
Subjects
automated protocol validation
protocol models
Security protocols
Security protocols
protocol models
automated protocol validation
Online AccessGet full text

Cover

More Information
Summary:The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security 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 automatic protocol analysis techniques. Experimental results, carried out on a large library of Internet security protocols, indicate that the AVISPA Tool is a state-of-the-art tool for Internet security protocol analysis as, to our knowledge, no other tool exhibits the same level of scope and robustness while enjoying the same performance and scalability.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2005.11.052