A secure channel protocol for multiapplication smart cards based on public key cryptography

IFIP Advances in Information and Communication Technology

Volumn 175, Issue , 2005, Pages 79-95

  Markantonakis, Konstantinos ^a   Mayes, Keith ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Diffie Hellman; GlobalPlatform; Java card; Multi application smart cards; Public key cryptography; Secure channel protocol

Indexed keywords

HARDWARE SECURITY; SMART CARDS;

DIFFIE HELLMAN; GLOBALPLATFORM; JAVA CARD; MULTIAPPLICATION SMART CARDS; SECURE CHANNELS;

PUBLIC KEY CRYPTOGRAPHY;

EID: 84902511616     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/0-387-24486-7_6     Document Type: Conference Paper

References (35)

1. PC/SC Workgroup. "Specifications for PC-ICC Interoperability", www.smartcardsys.com
2. OpenCard Consortium. "OpenCard Framework Specification OCF". www.opencard.org
3. B. Schneier. "Applied Cryptography", Second Edition, John Wiley & Sons, 1996.
4. W. Rankl, W. Effing. "Smart Card Handbook", John Willey and Sons, 1997.
5. A. Menezes, P. van Oorschot, S. Vanstone. "Handbook of Applied Cryptography", Boca Raton CRC Press, 1997.
6. Global Platform. "Open Platform Card Specification", Version 2.1. June 2001. http://www.globalplatform.org.
7. P.H. Hartel, E.K. de Jong Frz. "Smart Cards And Card Operating Systems", In J. Bartlett, editor, UNIFORUM' 96, pages 725-730, San-Francisco, California, Feb 1996. Uniforum, Santa Clara, California.
8. C. Markantonakis. "The Case For A Secure Multi-Application Smart Card Operating System", Springer-Verlag Lecture Notes in Computer Science Vol. 1396.
9. JavaSoft. "Java Card Platform Specifications", Version 2.2, September 2002. http://java.sun.com/products/javacard/specs.html
10. Microsoft. "Windows for Smart Card". http://www.microsoft.com/HWDEV/TECH/input/smartcard/
11. MAOSCO. "MULTOS Reference Manual Ver 1.2". http://www.multos.com/
12. International Organization for Standardization. Genève, Switzerland. ISO/IEC 7816-4, Information technology-Identification cards-Integrated circuit(s) cards with contacts-Part 4: Interindustry commands for interchange, 1995.
13. W. Diffie, M. Heilman. "New Directions in Cryptography", IEEE Transactions on Information Theory, 22:644-654, 1976.
14. R. Ferreira, R. Malzahn, P. Marissen, J.-J. Quisquater and T. Wille. "FAME: a 3rd generation coprocessor for optimising public key cryptosystems in smart card applications", Smart Card Research and Advanced Applications-Cardis '96, Publ. Stichting Mathematisch Centrum, pp. 59-72, 1996.
15. T. Boogaerts, "Implementation of elliptic curves cryptosystems for smart cards", CARDIS 1998, 14-16th September 1998.
16. H. Flandschuh, P. Paillier. "Smart Card Cryptoprocessors for Public Key Cryptography", In Third Smart Card Research and Advanced Application Conference-CARDIS'98, Lecture Notes in Computer Science, volume 1820, pages 372-379, Springer-Verlag, 2000.
17. L.C. Guillou, M. Ugon, J.J. Quisquater. "The Smart Card (A standardised Security Device Dedicated to Public Cryptology)", in G.J. Simmons, Ed., Contemporary Cryptology: The Science of Information Integrity, ISBN 0879422777.
18. Gemplus. GemXpressoRAD. Gemplus, 2003.
19. Giesecke & Devrient. StarSIM Developer Suite. G & D 2003.
20. J.S. Coron, M. Joye, D. Naccache, P. Paillier. "Universal padding schemes for RSA" In M. Yung, Ed., Advances in Cryptology-CRYPTO 2002, vol. 2442 of Lecture Notes in Computer Science, pp. 226-241, Springer-Verlag, 2002.
21. J.S. Coron, D. M. Rahi, C. Tymen. "Fast generation of pairs (k,[k]P) for Koblitz elliptic curves" In S. Vaudenay and A.M. Youssef, Eds., Selected Areas in Cryptography, vol. 2259 of Lecture Notes in Computer Science, pp. 151-164, Springer-Verlag, 2001.
22. M. Joye, P. Paillier, S. Vaudenay. "Efficient Generation of Prime Numbers" In K. Ko and C. Paar, Eds., Cryptographic Hardware and Embedded Systems-CHES 2000, vol. 1965 ofLecture Notes in Computer Science, pp. 340-354, Springer-Verlag, 2000.
23. R. Ferreira, R. Malzahn, P. Marissen, J.J. Quisquater, T. Wille. FAME: A 3rd generation coprocessor for optimising public key cryptosystems in smart card applications, In P. H. Hartel et al., editor(s), Smart Card Research and Advanced Applications-Cardis '96, pages 59-72, Springer-Verlag, 1996.
24. UCL. "A Smarter Chip for Smart cards", www.dice.ucl.ac.be/cascade, 1996.
25. K. Markantonakis. "Secure Log File Download Mechanisms for Smart Cards", Third Smart Card Research and Advanced Application Conference (CARDIS'98), September 14-16 1998, UCL Louvain-La-Neuve-Belgium, Lecture Notes in Computer Science, volume 1820, pages 285-304, Springer-Verlag, 2000.
26. ISO/IEC 11770-3. "Information Technology-Security Techniques-Key Management-Part 3: Mechanisms using asymmetric techniques", ISO 1999.
27. L.G. Wang. "Smart Visa and Java Technology", June 04, 2001. http://java.sun.com/features/2001/06/visa.html
28. 3GPP. "GSM 03.48 Digital Cellular Telecommunications System, SIM Toolkit Secure Messaging". http://www.3gpp.org/ftp/tsg_cn/WG4__protocollars/Temp/SMG%2323/TDoc s/P-97-790.pdf
29. ISO/IEC 11770-1. "Information Technology-Security Techniques-Key Management-Part 1: Framework", 1996.
30. ITU-T X.509. "The Directory-Public key and Attribute Certificate Frameworks".
31. H. Handschuh, P. Paillier. "Smart Card Crypto-Coprocessors for Public-Key Cryptography", The Technical Newsletter RSA Laboratories, Vol I, Number 1, Summer 1998.
32. K. Markantonakis. "Is the Performance of the Cryptographic Functions the Real Bottleneck?", IFIP TC11 16th International Conference on Information Security (IFIP/SEC'Ol), June 11-13, 2001, Paris, France, In "Trusted Information: The New Decade Challenge", Kluwer Academic Publishers, ISBN 0-7923-7389-8, pages 77-92.
33. C. Boyd, A. Mathuria, "Protocols For Authentication and Key Establishment", Springer Verlag in Information Security and Cryptography, June 15, 2003.
34. "ISO/IEC 9798-1. Information Technology-Security Techniques-Entity Authentication-Part 1: General", 1997.
35. D. R Stinson, "Cryptography: Theory and Practice", CRC Press 1995.