The AVISS Security Protocol Analysis Tool - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

The AVISS Security Protocol Analysis Tool

Résumé

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
Fichier non déposé

Dates et versions

inria-00100915 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100915 , version 1

Citer

Alessandro Armando, David Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, et al.. The AVISS Security Protocol Analysis Tool. 14th International Conference on Computer Aided Verification - CAV'2002, Jul 2002, Copenhaguen, Denmark, pp.349-353. ⟨inria-00100915⟩
119 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More