| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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
2
ETH Zürich - Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Alessandro Armando 1
Author
David Basin 2
Author
Yohan Boichut 3
Author
Yannick Chevalier 3
Author Employer institution : Université Toulouse III - Paul Sabatier IdHAL : yannick-chevalier-cs IdRef : https://www.idref.fr/076752801 ORCID : https://orcid.org/0000-0002-8617-4209
Luca Compagna 1
Author
Jorge Cuellar 4
Author
Paul Hankes Drielsma 2
Author
Pierre-Cyrille Héam 3
Author IdHAL : pierre-cyrille-heam
Olga Kouchnarenko 3
Author
Jacopo Mantovani 1
Author
Sebastian Mödersheim 2
Author
David von Oheimb 4
Author
Michaël Rusinowitch 3
Author IdHAL : michael-rusinowitch
Judson Santos Santiago 3
Author
Luca Vigano 2
Author
Mathieu Turuani 3
Author
Laurent Vigneron 3
Author IdHAL : laurent-vigneron IdRef : https://www.idref.fr/137591489
1
DIST - Department of informatics, systems and telecommunications (Italy)
- Universita degli studi di Genova (Via Balbi, 5 - 16126 Genova - Italy)
2
ETH Zürich - Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (Hauptgebäude, Rämistrasse 101, 8092 Zürich - Switzerland)
3
CASSIS - Combination of approaches to the security of infinite states systems (France)
- FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)
- UFC - Université de Franche-Comté (1 rue Goudimel 25030 Besançon cedex - France)
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France)
- UTBM - Université de Technologie de Belfort-Montbeliard : UMR 6174 (France)
- Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LORIA - FM - Department of Formal Methods (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
4
Siemens AG [Munich] (Siemens AG (Headquarters)
Wittelsbacherplatz 2
80333 Munich
Germany - Germany)
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 metadata
https://hal.inria.fr/inria-00000408
Contributor : Laurent Vigneron Connect in order to contact the contributor
Submitted on : Thursday, October 6, 2005 - 6:36:02 PM
Last modification on : Friday, April 1, 2022 - 5:20:07 PM
Long-term archiving on: : Thursday, April 1, 2010 - 10:39:59 PM
Contributor : Laurent Vigneron Connect in order to contact the contributor
Submitted on : Thursday, October 6, 2005 - 6:36:02 PM
Last modification on : Friday, April 1, 2022 - 5:20:07 PM
Long-term archiving on: : Thursday, April 1, 2010 - 10:39:59 PM
Files
Identifiers
- HAL Id : inria-00000408, version 1
Collections
INRIA | CNRS | UNIV-FCOMTE | INRIA2 | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | LORIA | UNIV-LORRAINE | LORIA-FM
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⟩
Metrics
Record views
1947
Files downloads