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

Alessandro Armando 1 David Basin 2 Yohan Boichut 3 Yannick Chevalier 3 Luca Compagna 1 Jorge Cuellar 4 Paul Hankes Drielsma 2 Pierre-Cyrille Héam 3 Olga Kouchnarenko 3 Jacopo Mantovani 1 Sebastian Mödersheim 2 David von Oheimb 4 Michaël Rusinowitch 3 Judson Santos Santiago 3 Luca Vigano 2 Mathieu Turuani 3 Laurent Vigneron 3
1 DIST - Department of informatics, systems and telecommunications
2 ETH Zürich - Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology in Zürich [Zürich]
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
4 S_life - Siemens AG Corporate Technology
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.
Document type :
Conference papers
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

Files

avispa-cav.pdf

Identifiers

  • HAL Id : inria-00000408, version 1

Collections

INRIA | UNIV-FCOMTE | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | LORIA | UNIV-LORRAINE

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

784

Files downloads

414

Contact


archive-ouverte@inria.fr