Automatic Verification of Key Management Architecture for Hierarchical Group Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Automatic Verification of Key Management Architecture for Hierarchical Group Protocols

Résumé

Emerging applications require secure group communications around hierarchical architecture protocols, like military or public emergency applications. However, conceiving such secure hierarchical protocols is not straightforward. Thus, their verification become a primordial issue in order to avoid the possible security attacks and vulnerabilities. Several attempts have been done to deal with formal verification of group protocols, but, in our knowledge, none of them has handled hierarchical ones. This paper investigates both specific challenges and security issues of hierarchical security group communications, and an overview of works done for their verification. We have chosen the Back-end Cl-AtSe of AVISPA tool, to verify an example of such protocols, as it enables to deal with the exponentiation of Diffie-Hellman often used in group key management.
Fichier principal
Vignette du fichier
article-final.pdf (99.79 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00090165 , version 1 (31-08-2006)

Identifiants

  • HAL Id : inria-00090165 , version 1

Citer

Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Olivier Festor, Laurent Vigneron. Automatic Verification of Key Management Architecture for Hierarchical Group Protocols. Sécurité et Architecture des Réseaux - SAR 2006, May 2006, Seignosse/France, pp.381-397. ⟨inria-00090165⟩
264 Consultations
185 Téléchargements

Partager

Gmail Facebook X LinkedIn More