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.
AVISPA/AVANTSSAR platform REF is a tool for the automated validation of security protocols and applications.
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications ⋆
CAV
Computer Science