Etude et réalisation d'un environnement d'expérimentation et de modélisation pour la technologie Java Card : application à la sécurité

par Damien Sauveron

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Serge Chaumette.

Soutenue en 2004

à Bordeaux 1 .

mots clés

• Cartes à mémoire
• Java (langage de programmation)
• Systèmes informatiques -- Mesures de sécurité

Résumé

En s'appuyant sur une collaboration menée entre le LaBRI et SERMA Technologies sur la sécurité des Java Cards, cette thèse a pour objectif d'étudier les nouvelles problématiques de sécurité liées à l'apparition de la technologie Java Card. Elle a donné lieu au développement d'un émulateur Java Card capable de simuler des attaques au niveau matériel et logiciel. Elle a également mis en évidence un certain nombre de problèmes dans les spécifications Java Card et des vulnérabilités potentielles dans le cadre de la multi-application sur cartes à puce ouvertes. Par ailleurs, les travaux de cette thèse ont permis de proposer des solutions visant à protéger des codes mobiles pour faire du calcul distribué grâce à l'utilisation de Java Cards. Une application directe de ces travaux permettra de sécuriser le calcul sur la grille.

Titre traduit

Design and implementation of an experimentation and modelisation environment for the Card Java technolgy : application to security test and management

Pas de résumé disponible.