Secure log file download mechanisms for smart cards

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1820, Issue , 2000, Pages 285-304

  Markantonakis, Constantinos ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

AUDIT LOGS; AUDITING MECHANISM; DESIGN PRINCIPLES; LIMITED MEMORY; LOG FILE; PRACTICAL METHOD; REAL-WORLD; SENSITIVE INFORMATIONS;

SMART CARDS;

EID: 84954445808     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10721064_27     Document Type: Conference Paper

References (34)

1. Ross Anderson. Robustness principles for public key protocols. Advances in Cryp- tology CRYPTO'95, pages 236-247., 1995.
2. Ross J. Anderson. UEPS - a second generation electronic wallet. ESORICS 92, Springer Verlag Lecture Notes in Computer Science, 648:411-418, 1992.
3. Europay-Mastercard-Visa. EMV-96 integrated circuit card specification for payment systems. Technical report, Europay-Mastercard-Visa, 1996.
4. Gemplus. MCOS 16K EEPROM DES Reference Manual Ver 2.2. Gemplus, 1990.
5. Gemplus. The first 32-bit risc processor ever embedded in a smart card. http://www.gemplus.fr/presse/cascade2uk.htm, 1996.
6. Gemplus. Gemxpresso reference manual. July 1998.
7. General Information Systems Ltd. (GIS). Oscar, specification of a smart card filling system incorporating data security and message authentication. http://www.gis.co.uk/oscman1.htm, 1997.
8. UCL Crypto Group. A smarter chip for smart cards. http://www.dice.ucl.ac.be.crypto/cascade, 1996.
9. Stuart Haber and W. Scott Stornetta. How to time-stamp a digital document. Journal of Cryptology, 3(2):99-111, 1996.
10. P. H. Hartel and E. K. de Jong Frz. Smart cards and card operating systems. In Uniforum'96, pages 725-730, 1996.
11. Hitachi. Hitachi 8bit microcontroler for smart card IC's. http://www.halsp.hitachi.com/smartcard/index.html, 1997.
12. MAOSCO. Multos reference manual Ver 1.2. www.multos.com, July 1998.
13. Constantinos Markantonakis. The case for a secure multi-application smart card operating system. In Springer-Verlag Lecture Notes in Computer Science Vol. 1396, pages 188-197, October 1997.
14. Constantinos Markantonakis. An architecture of audit logging in a multi- application smart card environment. EICAR'99 E-Commerce and New Media Managing Safety and Malware Challenges Effectively, October 1999.
15. Constantinos Markantonakis and Konstantinos Rantos. On the life cycle of the certification authority key pairs in emv' 96. EUROMEDIA 99, to be published, May 1999.
16. Alfred Menezes, Paul van Oorschot, and Scott Vanstone. Handbook of Applied Cryptography. Boca Raton CRC Press, 1997.
17. Sun Microsystems. The Java Card API Ver 2.0 specification. http://www.javasoft.com/products/javacard/, 1998.
18. Mondex. Brief description of the mondex log file. http://www.mondex.com/mondex/cgi-bin/printpage.plenglish+global-technology-security, 1996.
19. Motorola. M68hc05sc family - at a glance. http://design-net.com/csic/SMARTCRD/sctable.htm, 1997.
20. Ajitkumar Natarajan and Cjin Pheow Lee. An ARIES log manager for Minirel CS 764. http://www.cs.ndsu.nodak.edu/-tat.minibase/logMgr/report/main.html, 1994.
21. International Standard Organisation. ISO/IEC 7816-4, Information technology - Identification cards - Integrated circuits(s) cards with contacts. International Standard Organization, 1995.
22. International Standard Organisation. (ISO/IEC) 9798-1, Information technology - Security Techniques - Entity Authentication - Part 1: General. International Standard Organization, 1997.
23. Vikram Persati, Thomas Keefe, and Shankar Pal. The design and implementation of a multilevel secure log manager. In IEEE Symposium on Security and Privacy 1081-6011/97, pages 55-64, 1997.
24. Vikram Persati, Thomas F. Keefe, and Shankar Pal. A guide to understanding audit in trusted systems. Technical report, NCSC-TG-001 Library No. S-228-470, July 1987.
25. Patrice Peyret. Application-enabling card systems with plug-and-play applets. In Smart Card'96 Conference Proceedings, 1996.
26. Jean-Marie Place, Thierry Peltier, and Patrick Trane. Secured co-operation of partners and applications in the blank card. In GDM-Darmstadt 95 - Struif Editors, July 1995.
27. Schlumberger. Cyberflex smart card series developers manual. http://www.cyberflex.austin.et.slb.com/cyberflex/cyberhome, 1997.
28. Bruce Schneier. Applied Cryptography. John Wiley and Sons, 1996.
29. Bruce Schneier and John Kelsey. Automatic event-stream notarization using digital signatures. In Security Protocols, International Workshop April 1996 Proceedings, pages 155-169. Springer-Verlag, 1996.
30. Bruce Schneier and John Kelsey. Cryptographic support for secure logs on un- trusted machines. The Seventh USENIX Security Symposium Proceedings Usenix Press, pages 53-62, January 1998.
31. Adam Shostack. SSL 3.0 SPECIFICATION. http://www.homeport.org/adam/ssl.html, May 1995.
32. SIEMENS. STARCOS. http://www.gdm.de/index.htm, 1996.
33. SIEMENS. CardOS. http://www.ad.siemens.de/cardos/index76.htm, September 1997.
34. Patrick Trane and Sylvain Lecomte. Failure recovery using action logs for smart cards transactions based systems. In Third IEEE International On-Line Testing Workshop, July 1997.