thèse - Damien Sauveron

Nod’ordre : 2930
THÈSE
PRÉSENTÉE À
L’UNIVERSITÉ BORDEAUX I
ÉCOLE DOCTORALE DE MATHÉMATIQUES ET
D’INFORMATIQUE
Par Damien SAUVERON
POUR OBTENIR LE GRADE DE
DOCTEUR
SPÉCIALITÉ : INFORMATIQUE
Étude et réalisation d’un environnement d’expérimentation et de
modélisation pour la technologie Java CardTM .
Application à la sécurité.
Soutenue le : 3 décembre 2004
Après avis des rapporteurs :
Isabelle Attali . . . . . . . . Directrice de Recherche INRIA
Jean-Pierre Borel . . . . . Professeur des Universités
Pierre Dusart . . . . . . . . . Maître de Conférences
Devant la commission d’examen composée de :
Isabelle Attali . . . . . . . . Directrice de Recherche INRIA Rapporteur
Jean-Pierre Borel . . . . . Professeur des Universités . . . . . Rapporteur
Richard Castanet . . . . . Professeur des Universités . . . . . Président
Serge Chaumette . . . . . Professeur des Universités . . . . . Directeur de thèse
Pierre Dusart . . . . . . . . . Maître de Conférences . . . . . . . . Rapporteur
Alain Griffault . . . . . . . . Maître de Conférences . . . . . . . . Invité
Jean-Pierre Lacoustille Ingénieur . . . . . . . . . . . . . . . . . . . . . Examinateur
2004

Remerciements
Je tiens à exprimer toute ma reconnaissance aux membres du jury pour avoir accepter
d’assister à la présentation de mes travaux. En particulier, je prie les rapporteurs d’accepter
ma profonde gratitude. Ce mémoire rassemble le fruit de trois années de réflexion et je les
remercie pour leurs commentaires pertinants et constructifs.
Mes remerciements sont aussi à l’attention Serge Chaumette, mon directeur de thèse.
L’autonomie qu’il a su me laisser et les responsabilités qu’il m’a confié ont rendu mon
travail des plus agréables. Je souhaite également citer ici les membres de l’équipe Systèmes
et Objets Distribués que j’ai cotoyé : Pascal Grange, Iban Hatchondo, Achraf Karray et
Pierre Vignéras.
Je suis aussi très reconnaissant envers l’ANRT et SERMA Technologies pour m’avoir
permis de mener à bien cette thèse. Je remercie également tous mes collègues du CESTI
de SERMA Technologies pour la bonne ambiance dans laquelle nous avons travaillé durant
trois ans.
Enfin, mes remerciements vont vers ma famille sans qui je n’en serai pas là. Je pense
en particulier à ma grand-mère, Mamie Margot, qui m’a offert mon premier ordinateur, à
mon amie, Anaïs, qui m’a soutenu lors de cette dernière année difficile et à ma mère que
j’aime très fort. C’est à elle que je dédie ce mémoire de thèse car plus que tout le monde,
elle m’a permis de poursuivre les études qui me plaisaient.
i

Table des matières
Remerciements i
Introduction 9
0.1 Précisiondudomaine............................... 9
0.1.1 Contexte : le développement sécurisé sur cartes à puce . . . . . . . . 9
0.1.2 La problématique : les technologies multi-applicatives des cartes à
puce.................................... 9
0.2 Cadredetravail.................................. 11
0.3 Un environnement libre pour Java Card . . . . . . . . . . . . . . . . . . . . 11
0.3.1 Étatdel’art................................ 12
0.3.2 LesJCatools ............................... 12
0.3.3 Notre contribution : la pré-persistance ................. 12
0.3.4 Perspectives................................ 13
0.4 Les problèmes de sécurité des cartes multi-applicatives . . . . . . . . . . . . 13
0.4.1 Étatdel’art................................ 13
0.4.2 Notre contribution : la mise en évidence de nouveaux problèmes . . . 13
0.4.3 Perspectives................................ 14
0.5 LeprojetJavaCardGrid ............................ 14
0.5.1 Étatdel’art................................ 14
0.5.2 Notre contribution : la preuve de concept . . . . . . . . . . . . . . . 15
0.5.3 Perspectives................................ 15
0.6 Organisationdelathèse ............................. 15
I Présentation des standards 17
1 La carte à puce 19
1.1 Qu’est ce qu’une carte à puce ? . . . . . . . . . . . . . . . . . . . . . . . . . 19
i