Validation de BALADE Protocole de gestion de clés de groupe dans les réseaux ad hoc - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2006

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

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-5896.pdf (572.7 Ko) Télécharger le fichier

Dates and versions

inria-00071372 , version 1 (23-05-2006)

Identifiers

  • HAL Id : inria-00071372 , version 1

Cite

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⟩
101 View
201 Download

Share

Gmail Facebook Twitter LinkedIn More