The AVISS Security Protocol Analysis Tool

Alessandro Armando David Basin Mehdi Bouallagui 1 Yannick Chevalier 1 Luca Compagna Sebastian Moedersheim Michaël Rusinowitch 1 Mathieu Turuani 1 Luca Vigano Laurent Vigneron 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We introduce AVISS, a tool for security protocol analysis that supports the integration of back-ends implementing different search techniques, allowing for their systematic and quandtitative comparison and paving the way to their effective interaction. As a significant example, we have implemented three back-ends, and used the AVISS tool to analyse and find flaws in 36 protocols, including 31 problems in the Clark-Jacob's protocol library and a previously unreported flaw in the Denning-Sacco protocol. || Nous présentons AVISS, un outil pour l'analyse de protocoles de sécurité qui supporte l'intégration de logiciels implantant différentes techniques de recherche, permettant de les comparer systématiquement et quantitativement, et de tracer un chemin vers l
Type de document :
Communication dans un congrès
Ed Brinksma and Kim Guldstrand Larsen. 14th International Conference on Computer Aided Verification - CAV'2002, Jul 2002, Copenhaguen, Denmark, Springer, 2404, pp.349-353, 2002, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00100915
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:52:52
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00

Identifiants

  • HAL Id : inria-00100915, version 1

Citation

Alessandro Armando, David Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, et al.. The AVISS Security Protocol Analysis Tool. Ed Brinksma and Kim Guldstrand Larsen. 14th International Conference on Computer Aided Verification - CAV'2002, Jul 2002, Copenhaguen, Denmark, Springer, 2404, pp.349-353, 2002, Lecture Notes in Computer Science. 〈inria-00100915〉

Partager

Métriques

Consultations de la notice

215