Modélisation des propriétés de sécurité de protocoles de groupe

Najah Chridi 1 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 (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous proposons un modèle pour les protocoles de groupe et plus généralement pour les protocoles dits contribuants. Ce modèle permet de décrire un protocole contribuant, d'étudier ses caractéristiques et ses propriétés de sécurité. Cette étude permet de détecter différents types d'attaques. Nous avons appliqué le modèle sur plusieurs protocoles, tels que A-GDH.2, SA-GDH.2, Asokan-Ginzboorg et Bresson-Chevassaut-Essiari-Pointcheval, ce qui nous a permis de mettre en évidence différents types d'attaques possibles sur chacun.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000606
Contributor : Laurent Vigneron <>
Submitted on : Monday, November 7, 2005 - 3:43:15 PM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM
Long-term archiving on : Friday, April 2, 2010 - 6:35:03 PM

Identifiers

  • HAL Id : inria-00000606, version 1

Citation

Najah Chridi, Laurent Vigneron. Modélisation des propriétés de sécurité de protocoles de groupe. 1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes, CRiSIS, Oct 2005, Bourges, France, pp.119-132. ⟨inria-00000606⟩

Share

Metrics

Record views

287

Files downloads

107