Étude et réalisation d'un environnement d'expérimentation et de modélisation pour la technologie Java Card. Application à la sécurité.

Study and realization of an experimentation and modeling environment for Java Card technology. Application to security.

Damien Sauveron (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Pas de résumé disponible

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.

Mots clés: Java technolgy

Mots clés: technologie Javascript

Domaines: Informatique [cs]; Mathématiques [math]

Damien Sauveron. Study and realization of an experimentation and modeling environment for Java Card technology. Application to security.. Informatique [cs]. LaBRI, Université de Bordeaux 1, 2004. Français. ⟨NNT : ⟩. ⟨tel-03454503⟩