Abstract
Developing smart card applications to work in massively distributed environments requires consistency to ensure reliable functionality. A likely point of error occurs at the boundaries of interlinked applications or transactions. Every individual access to a service maybe represented as a transaction between the partners of the information system. Using a focus on the data as the universal element for creating the transaction a concept of modules based on data entities is introduced. The module becomes the atomic object for describing the transactions which in term describe the application outcomes. A significant advantage of the data driven model is that correctness analysis is possible revealing the correctness of the transaction and the real flow of data across module boundaries. The model includes the description of the synchronisation of the module interaction and the possibility of code importation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balme, L., Silvy, C.: Project Smart Power card, Activity report, Laboratorie TIMA, Techniques de l’Informatique et de la Microelectronique pour l’Architecture d’ordinateurs, University de Grenoble (1992)
Castellani, X.: Methode generale d’analyse et de conception des systemes d’objects, Masson (1993)
CNET. Special - Paiement Electronique. L’echo des RECHERCHES, No 158, Centre National d’Etudes des Telecommunications, Issy-les-Moulineaux, France (December 1994)
Cordonnier, V.: Assessing the Future of Smart Cards. In: Proceedings, Card Tech 1992, Washington DC, USA (April 1992)
Cordonnier, V.: The future of smart cards: Technology and applications. In: IFIP world conference, Canberra (September 1996) (invited paper)
Cordonnier, V., Watson, A.C.: Access Control Determination of Multi-Application Smartcards Using a Security Index. In: Third Australasian Security Research Symposium, Queensland University of Technology (July 1997)
Guillou, L.C., Ugon, M.: Smart Card, A Highly Reliable and Portable Security Device. In: Odlyzko, A.M. (ed.) CRYPTO 1986. LNCS, vol. 263, pp. 464–479. Springer, Heidelberg (1987)
Ugon, M.: Future of Smartcard Operating Systems. In: Proceedings, Card Tech 1994, Washington DC, USA, pp. 69–96 (April 1994)
Verjus, R.: Towards autonomous description of synchronisation modules. In: Proceedings IFIPWorld Conference (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caelli, W., Cordonnier, V., Watson, A. (2000). A Data Driven Model for Designing Applications with Smart Cards. In: Quisquater, JJ., Schneier, B. (eds) Smart Card Research and Applications. CARDIS 1998. Lecture Notes in Computer Science, vol 1820. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10721064_29
Download citation
DOI: https://doi.org/10.1007/10721064_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67923-3
Online ISBN: 978-3-540-44534-0
eBook Packages: Springer Book Archive