Thèse de Doctorat D`Anas ABOU EL KALAM MODÈLES ET

Thèse de Doctorat
D’Anas ABOU EL KALAM
MODÈLES ET POLITIQUES DE SECURITE
POUR LES DOMAINES DE LA SANTE ET
DES AFFAIRES SOCIALES
Rapport LAAS N°

Année 2003
THÈSE
Présentée au
Laboratoire d’Analyse et d’Architecture des Systèmes
du Centre National de la Recherche Scientifique
en vue d’obtenir le titre de
Docteur de l’Institut National Polytechnique de Toulouse
Spécialité : Informatique
Par
Anas Abou El Kalam
MODÈLES ET POLITIQUES DE SECURITE POUR LES
DOMAINES DE LA SANTE ET DES AFFAIRES
SOCIALES
Soutenue le 04 décembre 2003 devant le jury :
Président Yves DUTUIT
Rapporteurs Abdelmalek BENZEKRI
Marc DACIER
Examinateurs Frédéric CUPPENS
Yves DESWARTE
Gilles TROUESSIN
Rapport LAAS N°
LAAS - CNRS
7, avenue du Colonel Roche
31077 Toulouse Cedex 4

Avant-Propos
Les travaux présentés dans ce mémoire ont été effectués au sein du Laboratoire d’Analyse et
d’Architecture des Systèmes du Centre National de la Recherche Scientifique (LAAS - CNRS).
Je tiens à remercier tout d’abord Jean-Claude Laprie, ainsi que Malik Ghalab directeurs
successifs du LAAS-CNRS pendant mon séjour, de m’avoir permis de mener mes recherches
dans ce laboratoire.
Ma reconnaissance se tourne particulièrement vers David Powell, ancien responsable du
groupe Tolérance aux fautes et Sûreté de fonctionnement (TSF) et son successeur Jean Arlat,
pour m’avoir accueilli dans ce groupe de recherche.
Mes plus grands remerciements sont naturellement pour Yves Deswarte, qui m’a encadré tout
au long de ma thèse. Ma considération est inestimable. Ses remarques et critiques pertinentes
m’ont conduit vers la bonne voie. Son soutien m’a permis de ne jamais faiblir et de poursuivre
toujours plus loin mes travaux. Je tiens également à souligner que la confiance qu’il a mise en
moi a été un moteur à ma réussite.
J’exprime ma gratitude à Yves Dutuit, Professeur à l’Université de Bordeaux I, pour
l’honneur qu’il me fait en présidant mon Jury de Thèse, ainsi qu’à :
- Abdelmalek Benzekri, Professeur à l’Université Paul Sabatier ;
- Frédéric Cuppens, Professeur à l’Ecole Nationale Supérieure de Télécommunications
(ENST-Bretagne) ;
- Marc Dacier, Professeur à l’Institut Eurecom Sophia Antipolis, Professeur adjoint à
l’Université de Liège et professeur visiteur à l’Université catholique de Louvain ;
- Yves Deswarte, Directeur de Recherche CNRS ;
- Gilles Trouessin, Directreur de mission Sénior à Ernst & Young Audit ;
pour l’honneur qu’ils me font en participant à mon jury. Je remercie particulièrement
Abdelmalek Benzekri et Marc Dacier qui ont accepté la charge d’être rapporteur.
Je voudrais également remercier l’ensemble des partenaires du projet MP6 avec qui j’ai
beaucoup appris, notamment Gilles Trouessin (responsable du projet MP6) Philippe Balbiani,
Frédéric Cuppens, Claire Saurel, Salem Benferhat, Alexandre Miège, Rania El-Baida et Didier
Vinsonneau. Sans eux, ces travaux n’auraient probablement pas été les mêmes.
Je remercie tout le groupe TSF, les permanents, les doctorants et les stagiaires.
Mes remerciements s’adressent également à l’ensemble des services du LAAS, qui
permettent à chacun de travailler dans les meilleures conditions.
Il m’est agréable de remercier chaleureusement tous ceux qui, en dehors du laboratoire,
m’ont accompagné et soutenu. Je pense particulièrement à Betty qui m’a beaucoup aidé et qui a
partagé avec moi des moments faciles et difficiles durant ces trois années.
Ces avant-propos seraient incomplets sans un remerciement adressé aux membres de ma
famille, en particulier mes parents et mon frère Sidi Mohamed. Ce travail leur appartient à tous.