HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

Contributor : Mohamed Salah Bouassida Connect in order to contact the contributor
Submitted on : Thursday, August 31, 2006 - 5:04:12 PM
Last modification on : Friday, January 21, 2022 - 3:09:03 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:41:14 AM


  • HAL Id : inria-00090165, version 1


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⟩



Record views


Files downloads