Supervision : 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.

2002-2005 Publications

• 2005
  • A. Galland : “Controle de ressources dans les cartes à microprocesseurs”, thesis, phd defence 06/30/2005, supervision Folliot, Bertil (2005)
  • G. Thomas, F. Ogel, A. Galland, B. Folliot, I. Piumarta : “Building a Flexible Java Runtime upon a Flexible Compiler”, International Journal of Computers and Applications, vol. 27 (1), pp. 27-34, (ACTA Press) (2005)
• 2004
  • F. Ogel, G. Thomas, A. Galland, B. Folliot : “MVV : une Plate-forme . Composants Dynamiquement Reconfigurables”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 23 (10), pp. 1269-1299, (Lavoisier) (2004)
• 2003
  • A. Galland, M. Baudet : “Controlling and Optimizing the Usage of One Resource”, First Asian Symposium on Programming Languages and Systems (APLAS), vol. 2895, Lecture Notes in Computer Science, Beijing, China, pp. 195-211, (Springer-Verlag) (2003)
  • A. Galland, M. Baudet : “Économiser l’or du banquier”, 3^e Conférence Française sur les Systèmes d'Exploitation (CFSE) - French Chapter of ACM-SIGOPS, La Colle-sur-Loup, France, pp. 638-649, (Institut National de la Recherche en Informatique et Automatique (INRIA)) (2003)
  • D. Deville, A. Galland, G. Grimaud, S. Jean : “Assessing the Future of Smart Card Operating Systems”, 4^th E-Smart 2003 Conference, Sophia Antipolis, France (2003)
  • D. Deville, A. Galland, G. Grimaud, S. Jean : “Smart Card operating systems: Past Present and Future”, 5^th USENIX/NordU Conference (NordU2003), Västerås, Sweden (2003)
  • G. Thomas, I. Piumarta, A. Galland, B. Folliot, C. Baillarguet : “Towards Active Applications: the Virtual Virtual Machine Approach”, chapter in New Trends in Computer Science and Engineering, pp. 28-47, (A92 Publishing House, POLIROM Press), (ISBN: 973-9476-40-6) (2003)
• 2002
  • A. Galland, D. Deville, G. Grimaud, B. Folliot : “Contrôle des ressources dans les cartes à microprocesseurs”, 1^er Congrès Plurisectoriel "Logiciels Temps Réel Embarqués", Toulouse, France (2002)