Automatic Verification of Key Management Architecture for Hierarchical Group Protocols

Mohamed Salah Bouassida 1 Najah Chridi 2 Isabelle Chrisment 1 Olivier Festor 1 Laurent Vigneron 2
1 MADYNES - Management of dynamic networks and services
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 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
Abstract : 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.
Type de document :
Communication dans un congrès
Sécurité et Architecture des Réseaux - SAR 2006, May 2006, Seignosse/France, pp.381-397, 2006
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00090165
Contributeur : Mohamed Salah Bouassida <>
Soumis le : jeudi 31 août 2006 - 17:04:12
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:41:14

Identifiants

  • HAL Id : inria-00090165, version 1

Citation

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, 2006. 〈inria-00090165〉

Partager

Métriques

Consultations de la notice

342

Téléchargements de fichiers

227