Abstract
Smartcard is well adapted to store confidential data and to provide secure services in a mobile and distributed environment. But many cases of smartcard application failure can corrupt data in smartcard persistent memory. In this paper, we propose a recoverable persistent memory to maintain data consistency in a smartcard. Then, we adapt and compare two recovery algorithms used in Database Management Systems (shadow paging and before-image logging) to the smartcard memory features. At last, we present a prototype, which demonstrates the feasibility of these algorithms in a smartcard.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Atkinson, M., Chishlom, K., Cockshott, P., Marshall, R.: Algorithms for a Persistent Heap. Software, Practice and Experience 13(3), 259–271 (1983)
Belady: A study of Replacement Algorithms for Virtual Storage Computers. IBM Systems Journal 5, 78–101 (1966)
Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)
Esprit program EP8670, CASCADE: Operating System, European project ESP8670 (April 1995)
Cordonnier, V.: The future of SmartCards: Technology and Application. In: Proceedings IFIPWorld Conference on Mobile Communication, Camberra (September 1996)
Elmagarmid, A.K.: Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, San Francisco (1992)
Gray, J., Reuter, A.: Transaction Processing: Concepts and Technics. Morgan Kaufmann Publishers, San Francisco (1993)
International Standard Organisation (ISO), Identification cards, integrated circuit cards with contacts: Part 4 inter-industry command for interchange, International Standard ISO/IEC 7816-4 (1995)
Lecomte, S., Donsez, D.: Intégration d’un Gestionnaire de Transaction dans les cartes à microprocesseur. In: Proceeding of NOTERE, Nouvelles Technologies de la Répartition, Pau, France, Novembre 4-6, pp. 347–362 (1997)
Lecomte, S.: COST-STIC: Cartes Orientées Services Transactionnels et Systèmes Transactionnels Intégrant des Cartes, PhD Dissertation, University of Lille I, Villeneuve d’Ascq, France (November 1998)
Moss, J.E.B.: Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Boston (1985)
Ng, W.T., Chen, P.M.: Integrating Reliable Memory in Databases. In: VLDB 1997, Proceedings of 23th International Conference on Very Large Data Bases, Athens, Greece, pp. 76–85. Morgan Kaufmann, San Francisco (1997) ISBN 1-55860-470-7
Copeland, G.P., Keller, T., Krishnamurthy, R., Smith, M.: The Case For Safe RAM. In: VLDB 1989, pp. 327–335 (1989)
Satyanarayanan, M., Mashburn, H.H., Kumar, P., Steere, D.C., Kistler, J.J.: Lightweight Recoverable Virtual Memory. In: Proc. of 1993 Symposium on Operating System Principles, pp. 146–160 (December 1993)
Singhal, V., Kaddak, S.V., Wilson, P.R.: Texas: An Efficient, Portable Persistent Store. In: Proc. of the Fifth Intl Workshop on Persistent Object System, San Miniato, Italy (September 1992)
Sun Microsystems, JavaCard 2.0 Language subset and Virtual Machine Specification, Rev 1.0 final (October 1997)
White, S.J., DeWitt, D.J.: QuickStore: A High Performance Mapped Object Store. In: Proc. of the 1994 ACM SIGMOD Conf. Minneapolis, Minnnesota (May 1994)
White, S.J., DeWitt, D.J.: Implementing Crash Recovery in Quick- Store: A Performance Study. In: proceedings of the 1995 ACM SIGMOD Conference, pp. 187–198 (1995)
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
Donsez, D., Grimaud, G., Lecomte, S. (2000). Recoverable Persistent Memory for SmartCard. 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_11
Download citation
DOI: https://doi.org/10.1007/10721064_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67923-3
Online ISBN: 978-3-540-44534-0
eBook Packages: Springer Book Archive