| 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
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
Luca Compagna 1
Author
Jorge Cuellar 4
Author
Paul Hankes Drielsma 2
Author
Pierre-Cyrille Héam 3
Mail :
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
Mail :
Author IdHAL : michael-rusinowitch
Judson Santos Santiago 3
Author
Luca Vigano 2
Author
Mathieu Turuani 3
Author
Laurent Vigneron 3
Mail :
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 in Zürich [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é (France)
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (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)
- UTBM - Université de Technologie de Belfort-Montbeliard (France)
- INRIA Lorraine (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 - 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)
- UHP - Université Henri Poincaré - Nancy 1 (24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France - France)
- Université Nancy 2 (91 avenue de la Libération, BP 454, 54001 Nancy cedex - France)
- INPL - Institut National Polytechnique de Lorraine (France)
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France)
4
S_life - Siemens AG Corporate Technology (Otto-Hahn-Ring 6 81739 München - Germany)
- Siemens AG Corporate Technology (France)
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 : Wednesday, January 8, 2020 - 2:16:59 PM
Document(s) archivé(s) le : Thursday, April 1, 2010 - 10:39:59 PM
Contributor : Laurent Vigneron <>
Submitted on : Thursday, October 6, 2005 - 6:36:02 PM
Last modification on : Wednesday, January 8, 2020 - 2:16:59 PM
Document(s) archivé(s) le : Thursday, April 1, 2010 - 10:39:59 PM
Files
Identifiers
- HAL Id : inria-00000408, version 1
Collections
INRIA | CNRS | 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⟩
Metrics
Record views
855
Files downloads