OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Mota, Sara. Modélisation et vérification de protocoles pour des communications sécurisées de groupes. PhD, Institut National Polytechnique de Toulouse, 2008

[img]
Preview
(Document in French)

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1MB

Official URL: http://ethesis.inp-toulouse.fr/archive/00000628/

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.

Item Type:PhD Thesis
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut National Polytechnique de Toulouse - INPT
Laboratory name:
Research Director:
Villemur, Thierry and Diaz, Michel
Statistics:download
Deposited By: admin admin
Deposited On:21 Nov 2012 13:50

Repository Staff Only: item control page