fr/Publis/PAPERS/PDF/Boisseau-these.pdf

TH¨SE
PrØsentØe l’ cole Normale SupØrieure de Cachan
pour obtenir le grade de
Docteur de l’ cole Normale SupØrieure de Cachan
Par : Alexandre Boisseau
Discipline : Informatique
Abstractions pour la vØri cation de propriØtØs
de sØcuritØ de protocoles cryptographiques
Soutenue le 19 septembre 2003
Composition du jury :
Michel Bidoit Directeur de thŁse
Paul Gastin PrØsident du jury
Jean Goubault-Larrecq Examinateur
Francis Klay
Yassine Lakhnech Rapporteur
Jean-Fran ois Raskin RappRemerciements
Je voudrais avant tout remercier les membres du jury.
Jean-Fran ois Raskin, ainsi que Steve Kremer, m’ont chaleureusement accueilli au DØ-
partement d’Informatique de l’UniversitØ Libre de Bruxelles, pour travailler avec eux sur les
protocoles de type signatures Ølectroniques de contrats. Je garde un excellent souvenir de ces
quelques semaines de travail passØes en Belgique et je les en remercie. Je remercie d’autant
plus Jean-Fran ois d’avoir acceptØ la charge de rapporteur au sujet de cette thŁse.
Yassine Lakhnech m’a invitØ deux reprises pour donner un sØminaire au laboratoire
VØrimag Grenoble. Ces sØminaires ont toujours ØtØ suivis de longues discussions et d’Øchanges
d’idØes trŁs intØressants et mon seul regret est de n’avoir pu dØvelopper, au cours de cette thŁse,
toutes les pistes qui m’avaient ØtØ suggØrØes. Je le remercie pour ces invitations et pour avoir,
lui-aussi, acceptØ la charge de rapporteur.
Jean Goubault-Larrecq a acceptØ de m’encadrer sur la derniŁre partie de ma ...