Modélisation des propriétés de sécurité de protocoles de groupe - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

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

Abstract

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.
Fichier principal
Vignette du fichier
ChridiV-CRiSIS05.pdf (223.27 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00000606 , version 1 (07-11-2005)

Identifiers

  • HAL Id : inria-00000606 , version 1

Cite

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⟩
143 View
72 Download

Share

Gmail Facebook Twitter LinkedIn More