SmartCard using transactional services and transactional services including SmartCard
COST-STIC Cartes Orientées Services Transactionnels et Systèmes Transactionnels Intégrant des Cartes
Résumé
The application domain of smartcards is increasingly vast (monetary systems, telephony, health). Now, smartcard takes place in distributed systems (payment on Internet, mobile telephony). Thus, in spite of the appearance of new cards using well-known programming languages (Java for the JavaCard), the development of card applications, in a distributed and very breakdown prone environment, appears increasingly problematic. The transactional model, with its properties (Atomicity, Concistency, Isolation and Durability) appears to be a good solution to the solving of these problems. Implementation of this model in the smartcards imposes the adaptation of two mechanisms (recovery on breakdown, and concurrence control on data) well-known in traditional transactional systems. In particular, it was necessary to take into account the small size memory and the small power of the processor. Use of this transactional card (the COST) in distributed systems is carried out thanks to an architecture (called STIC), using a service of distributed validation (OTS for CORBA). An adaptation component deals with the constraints of the card, so as to not modify the architecture of the existing systems. A model, based on JavaCard and CORBA's OTS service, was produced in order to simulate a payment application on Internet.
Le domaine d'application des cartes à microprocesseur est de plus en plus vaste (le secteur monétaire, la téléphonie, la santé). Dorénavant, la carte s'intègre dans des systèmes distribués (paiement sur Internet, téléphonie mobile). Ainsi, malgré l'apparition de nouvelles cartes utilisant des langages de programmation répandus (comme Java pour la JavaCard), le développement des applications carte, dans un milieu distribué et très sujet aux pannes, se révèle de plus en plus complexe. Le modèle transactionnel, de par ses propriétés (Atomicité, Cohérence, Isolation et Durabilité) représente une bonne solution au traitement de ces problèmes. L'implantation de ce modèle dans les cartes à microprocesseur impose l'adaptation de deux mécanismes (la reprise sur panne, et le contrôle de concurrence sur les données) bien connus des systèmes transactionnels classiques. Pour cela, il a notamment fallu tenir compte de la faible taille mémoire disponible et du processeur peu puissant. L'utilisation de cartes gérant les mécanismes cités précédemment (la COST) dans des systèmes distribués s'effectue grâce à une architecture (appelée STIC), utilisant un service de validation distribuée (OTS pour CORBA). Un composant d'adaptation prend en charge les contraintes de la carte (notamment en terme de protocole de communication), de manière à ne pas modifier l'architecture des systèmes existants. Une maquette, basée sur la JavaCard et le service OTS de CORBA, a été réalisée dans le but de simuler une application de paiement sur Internet.