[Home bibliotech]
Home > Les thèses en ligne de l'INP

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

Mota, Sara (2008) Modélisation et vérification de protocoles pour des communications sécurisées de groupes. (Modeling and verifiying protocols for secure group communication.)

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1.7 Mo

Abstract

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. ABSTRACT : 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

Department:Laboratoire d'Analyse et d'Architecture des Systèmes - LAAS (Toulouse, France)
Directeur de thèse:Villemur, Thierry and Diaz, Michel
Uncontrolled Keywords:Communications de groupes - Sécurité - Gestion de clés - Modélisation UML - Vérification temporelle - Performance. KEYWORDS : Group Communication - Security - Key Management - UML Modeling - Temporal Verification - Performance
Subjects:Computer science > Computer systems
Deposited On:05 November 2008

Archive Staff Only: edit this record


Contacts | Infos légales | Plan du site | Intranet

(c)INP de Toulouse 2012 - Tous droits réservés. -  INP Communication