• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1998

Résumé en langue originale

Le domaine d'application des cartes a microprocesseur est de plus en plus vaste (le secteur monetaire, la telephonie, la sante). Dorenavant, la carte s'integre dans des systemes distribues (paiement sur internet, telephonie mobile). Ainsi, malgre l'apparition de nouvelles cartes utilisant des langages de programmation repandus (comme java pour la javacard), le developpement des applications carte, dans un milieu distribue et tres sujet aux pannes, se revele de plus en plus complexe. Le modele transactionnel, de par ses proprietes (atomicite, coherence, isolation et durabilite) represente une bonne solution au traitement de ces problemes. L'implantation de ce modele dans les cartes a microprocesseur impose l'adaptation de deux mecanismes (la reprise sur panne, et le controle de concurrence sur les donnees) bien connus des systemes transactionnels classiques. Pour cela, il a notamment fallu tenir compte de la faible taille memoire disponible et du processeur peu puissant. L'utilisation de cartes gerant les mecanismes cites precedemment (la cost) dans des systemes distribues s'effectue grace a une architecture (appelee stic), utilisant un service de validation distribuee (ots pour corba). Un composant d'adaptation prend en charge les contraintes de la carte (notamment en terme de protocole de communication), de maniere a ne pas modifier l'architecture des systemes existants. Une maquette, basee sur la javacard et le service ots de corba, a ete realisee dans le but de simuler une application de paiement sur internet.