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

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.
Complete list of metadatas

https://hal.inria.fr/inria-00000408
Contributor : Laurent Vigneron <>
Submitted on : Thursday, October 6, 2005 - 6:36:02 PM
Last modification on : Tuesday, March 5, 2019 - 9:30:11 AM
Long-term archiving on : Thursday, April 1, 2010 - 10:39:59 PM

Identifiers

  • HAL Id : inria-00000408, version 1

Citation

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⟩

Share

Metrics

Record views

776

Files downloads

400