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

https://hal.inria.fr/inria-00090165
Contributor : Mohamed Salah Bouassida <>
Submitted on : Thursday, August 31, 2006 - 5:04:12 PM
Last modification on : Friday, April 2, 2021 - 3:36:57 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:41:14 AM

Identifiers

  • 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. ⟨inria-00090165⟩

Share

Metrics

Record views

513

Files downloads

346