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.
This work was supported by the FET Open Project IST-2001-39252 and the BBW Project 02.0431, “AVISPA: Automated Validation
of Internet Security Protocols and Applications” (www.avispa-project.org).