Direction de recherche : Bertil FOLLIOT

Controle de ressources dans les cartes à microprocesseurs

La carte à puce est un objet fortement contraint et normalisé aux ressources de calcul limitées. Cependant, ses mécanismes de sécurité physique en font l'un des objets pour code mobile les plus sûrs. Ainsi, depuis l'émergence de la carte à puce jusqu'à aujourd'hui, intégrer un haut niveau de sécurité avec si peu de ressources physiques a toujours été le défi principal des fabricants de cartes à puce. Il faut donc garder à l'esprit qu'optimiser les ressources physiques ou logiques est primordial dans un tel système embarqué. Aujourd'hui, les cartes à puce modernes offrent l'opportunité de charger du code dans la carte chez l'utilisateur final. Il a donc fallu résoudre les problèmes de sécurité liés au chargement de code mobile. Dans les machines virtuelles Java Card, plusieurs solutions ont été proposées afin d'intégrer un vérifieur de code dans la carte, dans le but d'assurer que les applications soient bien typées au moment du chargement. Dans cette démarche d'une carte à puce toujours plus sûre, le contrôle, la maîtrise et la gestion des ressources sont les étapes suivantes à garantir. Nous proposons une architecture permettant à la fois de garantir la disponibilité d'une ressource et d'optimiser son utilisation dans un système multitâche. Celle-ci s'appuie sur un algorithme d'ordonnancement des tâches qui minimise la quantité de ressources utilisée par le système. Cette démarche se poursuit par une étude statique de durée de vie des données sur programme Java. Dans ce contexte, nous avons développé un algorithme d'échappement efficace travaillant directement sur bytecode Java. La qualité de notre analyse d'échappement a été mesurée par la mise en oeuvre de mécanismes de gestion en pile sur trois plates-formes Java dont une sur carte à puce.

Publications 2002-2005