Modélisation et vérification de protocoles pour des communications sécurisées de groupes - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2008

Modeling and verifiying protocols for secure group communication

Modélisation et vérification de protocoles pour des communications sécurisées de groupes

Résumé

Systems that implement communications in the form of group multicast have increasingly raised security problems. The protection mechanisms applied to that communication rely on symmetrical and asymmetrical key exchanges, and the way these mechanisms are selected does influence the system's efficiency. Following an in depth analysis of the needs captured by these systems, we defined a model for representing the dynamics of groups, as well as communication among group members. We defined one system architecture which focuses on key creation, exchange and management functions. The system was modeled in UML 2.0 and checked against security and temporal properties. The approach we followed to investigate temporal requirements may be extended to a broad variety of distributed systems.
Dans le monde des systèmes qui utilisent des communications sous forme de diffusion de groupes, le critère de sécurité devient un facteur de plus en plus important. Le choix des mécanismes pour la protection de cette communication, mécanismes basés sur des échanges de clés symétriques et asymétriques, influe sur l'efficacité du système. Nous avons procédé à l'analyse des besoins et nous avons défini un modèle qui permet de représenter la dynamique des groupes et la communication entre leurs membres. Nous avons défini l'architecture d'un système dont l'élément central est la fonction de création, d'échange et de mise en place correcte des clés. La modélisation de ce système dans un environnement UML 2.0 a permis son analyse en termes de garantie de propriétés temporelles et de sécurité. L'approche suivie pour l'étude des exigences temporelles est généralisable à de nombreux systèmes distribués. La valorisation de nos études a été faite dans le cadre du projet national RNRT SAFECAST.
Fichier principal
Vignette du fichier
TheseSaraMOTA05062008.pdf (1.9 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00309824 , version 1 (07-08-2008)

Identifiants

  • HAL Id : tel-00309824 , version 1

Citer

Sara del Socorro Mota Gonzalez. Modélisation et vérification de protocoles pour des communications sécurisées de groupes. Automatique / Robotique. Institut National Polytechnique (Toulouse), 2008. Français. ⟨NNT : 2008INPT005H⟩. ⟨tel-00309824⟩
96 Consultations
1454 Téléchargements

Partager

Gmail Facebook X LinkedIn More