Skip to Main content Skip to Navigation
Reports

Validation de BALADE Protocole de gestion de clés de groupe dans les réseaux ad hoc

Mohamed Salah Bouassida 1 Isabelle Chrisment 1 Olivier Festor 1
1 MADYNES - Management of dynamic networks and services
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Dans ce rapport, nous validons notre protocole de gestion de clés de groupe multicast, dénommé BALADE, afin de détecter les éventuelles failles de sécurité qui peuvent exister. Notre approche de validation suit trois étapes essentielles : (1) spécification des sous protocoles de BALADE de manière générale, (2) spécification des scénarii de ces protocoles en HLPSL, et finalement (3) vérification de ces scénrii avec l'outil AVISPA.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00071372
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 4:56:43 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:07:42 PM

Identifiers

  • HAL Id : inria-00071372, version 1

Collections

Citation

Mohamed Salah Bouassida, Isabelle Chrisment, Olivier Festor. Validation de BALADE Protocole de gestion de clés de groupe dans les réseaux ad hoc. [Rapport de recherche] RR-5896, INRIA. 2006, pp.71. ⟨inria-00071372⟩

Share

Metrics

Record views

300

Files downloads

396