pour obtenir le grade de

Socorro Mota

Description

Niveau: Supérieur, Doctorat, Bac+8
THÈSE pour obtenir le grade de DOCTEUR DE L'UNIVERSITÉ DE TOULOUSE délivré par l'INSTITUT NATIONAL POLYTECHNIQUE DE TOULOUSE École Doctorale : Systèmes Discipline : Informatique présentée et soutenue par Sara del Socorro MOTA GONZALEZ le 5 juin 2008 Modélisation et vérification de protocoles pour des communications sécurisées de groupes Directeurs de thèse : Thierry VILLEMUR et Michel DIAZ JURY Jean-Charles FABRE, Président Ana CAVALLI Luciano CHIRINOS GAMBOA Isabelle CHRISMENT Michel DIAZ Refik MOLVA Thierry VILLEMUR Rapport LAAS n°

• systèmes discipline


• sara del


• directeurs de thèse


• communications sécurisées de groupes


• ecole doctorale


• vérification de protocoles

Sujets

• Institut national polytechnique de Toulouse
• Université de Toulouse
• Villemur
• École doctorale

Informations

• Publié par: profil-zyak-2012
• Publié le: 01 juin 2008
• Nombre de lectures: 34
• Langue: Français
• Poids de l'ouvrage: 1 Mo

Extrait

THÈSE


pour obtenir le grade de

DOCTEUR DE L’UNIVERSITÉ DE TOULOUSE
délivré par l’INSTITUT NATIONAL POLYTECHNIQUE DE TOULOUSE


École Doctorale : Systèmes
Discipline : Informatique


présentée et soutenue


par


Sara del Socorro MOTA GONZALEZ


le 5 juin 2008


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


Directeurs de thèse :
Thierry VILLEMUR et Michel DIAZ


JURY
Jean-Charles FABRE, Président
Ana CAVALLI
Luciano CHIRINOS GAMBOA
Isabelle CHRISMENT
Michel DIAZ
Refik MOLVA
Thierry VILLEMUR



Rapport LAAS n°


A Oscar 
 
A Jared, Mauricio et Diego 
3 
A ma famille 

5Remerciements

Mon séjour au Laboratoire d’Analyse et d’Architecture des Systèmes, lieu du
développement de mes travaux de thèse, me laisse un excellent souvenir. Je remercie
donc MM. Ghallab et Chatila, directeurs successifs du LAAS-CNRS, pour m’avoir
accueillie dans leur laboratoire. Je tiens également à remercier François Vernadat,
responsable du groupe OLC du LAAS-CNRS, pour m’avoir accueillie et appuyée dans
mes travaux.

J’exprime ma très sincère reconnaissance à Messieurs Michel Diaz et Thierry
Villemur, respectivement Chargé de Recherche CNRS et Maître de Conférences, pour
m’avoir encadrée, soutenue et encouragée pendant le déroulement des travaux
exposés dans ce mémoire. Je les remercie tous deux pour ce soutien constant et pour
la confiance qu’ils m’ont toujours témoignée. Sans leur patience, sans les conseils qu’ils
m’ont prodigués tout au long de ces quatre ans, sans leurs mots d’encouragement, ce
travail n’aurait pas pu être mené a son terme. Leur encadrement restera pour moi un
très bon souvenir et m’aura grandement appris.
J’adresse une mention spéciale à M. Diaz, car il possède une grande compétente et
de grandes capacités, au contact desquelles les autres peuvent avancer et s’enrichir. Je
me sens honorée d’avoir travaillé avec lui.

Je remercie Ana Cavalli et Refik Molva qui ont accepté les charges de rapporteurs et
de membre du jury. Je remercie également Jean-Charles Fabre, Isabelle Chrisment et
Luciano Chirinos de m’avoir fait l’honneur d’examiner mes travaux. Leur présence dans
le jury fut pour moi un grand plaisir.

Les personnes qui font partie du groupe OLC ont rendu mon séjour très agréable,
grâce à la gentillesse et la convivialité dont ils ont su faire preuve. Grâce à leurs
grandes compétences et à leurs remarquables qualités humaines, ils sont su rendre
chaleureuses et fructueuses ces quelques années passées parmi eux. Je garde de très
bons souvenirs des nombreuses discussions qui m’ont changée, qui m’ont construite et
qui m’ont poussée jusqu’à la conclusion de mes travaux. Enfin, j’ai une pensée
particulière pour Pierre de Saqui-Sannes et Philippe Owezarski pour m’avoir soutenue
et pour avoir partagé leur expérience tout au long de mon séjour dans ce laboratoire.
Mes remerciements vont également à tous les membres du projet SAFECAST.
J’exprime ma reconnaissance à Benjamin, avec qui j’ai partagé mes connaissances,
mon expérience et l’envie de faire avancer les choses. Je tiens également à remercier
Philippe, Pierre et Thierry pour nous avoir encadré, Benjamin et moi-même, dans ce
projet.

J’exprime une grande reconnaissance envers mon université, l’ITESM Campus
Toluca. Plus particulièrement, le témoignage de ma reconnaissance s’adresse à M.
Rueda, Mme. Ortiz et M. Enriquez, directeurs successifs de l’ITESM Campus Toluca ; à
MM. Chirinos et Miranda, directeurs successifs de l’Ecole d’Ingénieurs et d’Architecture
de l’ITESM ; et à M. Gutierrez, directeur du département d’Informatique.
Je remercie mon pays, le Mexique, dont le soutien financier, à travers l’organisme
CONACYT, m’a permis de vivre en France et d’effectuer mon doctorat à Toulouse. Ce
soutien contribue aussi à la découverte d’autres cultures, ce qui devient aujourd’hui
essentiel.

Je n’oublie pas de saluer les doctorants actuels et anciens que j’ai pu côtoyer au cours
de ces années. Je salue donc mes amis Luis, Felipe et Fabiana, avec lesquels nous
avons partagé nos solitudes, et j’adresse une pensée spéciale pour mes amis Jean-
François, German, Ismail et Riadh. Parmi les vieux docteurs et les jeunes maîtres de
7
conférences, mes pensées vont vers Francisco, Guillermo, David, Idalia, Roberta,
Magnos, Carmen, Fernando et Hector desquels j’ai beaucoup appris. Merci à mes amis
Brésiliens Olga, Eraldo, René et Marcos, qui m’ont transmis une petite partie de leur
univers.

Je remercie chaleureusement toute ma famille de m’avoir épaulée et soutenue. Merci
à mes parents d’avoir cru en moi, de m’avoir accompagnée dans toutes les
circonstances, et de m’avoir encouragée jusqu’au bout, y compris le jour de la
soutenance. Merci aussi à mes enfants, Diego, Mauricio et Jared, qui m’ont
accompagné en France, avec lesquels nous avons partagé tant de choses, de grands
moments mais aussi parfois de difficultés.
Grâce à nos voisins et amis, nous ne nous sommes jamais sentis seuls en France,
notamment avec les membres de la famille Viguier : Sandrine, Philippe, Nico et Alex ;
de la famille Fourré : Pascale, Pascal, Lili et Simon; de la famille Mas : Sophie, Pierre,
Virgie, Caro et Bruno, et de la famille Labaune : Marie-Hélène, Eric, Robin, Miléna et
Naomie dont nous avons vu grandir ensemble les enfants. Merci à mes frères et à mes
sœurs pour leurs encouragements.
J’ai un sentiment spécial pour Patricia, Dalia et Cristina, trois grandes dames qui ont
fait aussi partie de ma famille durant le déroulement de mon travail de doctorat.

Je veux dire à mon mari Oscar et à mes enfants Jared, Mauricio et Diego, que je ne
concevais pas cette expérience sans eux. Votre compagnie a donné un sens à cet effort
si bien récompensé. Vos mots d’encouragement, les difficultés vécues ensemble et
autant des réussites à fêter ensemble me comblent. Sachez que cette complicité si
positive et si pleine d’énergie ne peut que laisser une famille unie et prête pour l’avenir.
Je vous aime de tout mon cœur. Jared, ma fille, tu as été pour moi, en plus, une amie,
un pilier… Comment te remercier ?

Oscar, mon mari, je me demande toujours comment j’ai fait pour te trouver… Quelle
joie de vivre avec toi et quelle chance d’avancer à tes côtés ! Je t’admire car, dans mon
cœur, j’ai conscience que seule ta compagnie fait ce que suis. Ces dix-huit ans de vie
commune m’ont semblé passer très vite. Et après toutes ces années je réalise que nos
pensées ne sont jamais loin les unes des autres. Je ne suis jamais toute seule, je
compte toujours sur un grand homme, je compte sur toi Oscar …
8 Table des matières

1 Introduction.......................................................................................................13
1.1. Des systèmes de communication de groupes sécurisés..................................................... 13
1.2. Eléments d’un système de communication de groupes ...................................................... 14
1.3. Des solutions pour la communication des groupes ............................................................. 15
1.4. Contributions apportées dans ce mémoire .......................................................................... 16
1.5. Organisation du mémoire..................................................................................................... 18
2 Etat de l’art21
2.1. Introduction .......................................................................................................................... 21
2.2. Principaux éléments pour la sécurisation des communications .......................................... 21
2.2.1. Cryptographie à clé publique ............................................................................................. 22
2.2.2. clé secrète............................................................................................... 23
2.2.3. Certificats ........................................................................................................................... 32
2.2.4. Autres mécanismes pour des systèmes particuliers/spécifiques ...................................... 34
2.3. Architectures pour la communication de