Smart Card Research and Advanced Applications

1. Front Matter

   Pages i-ix

   PDF

2. Financial Session

   1. Front Matter

      Pages 1-1

      PDF

   2. Friendly Observers Ease Off-Line E-Cash

      • Shouhuai Xu, Moti Yung, Gendu Zhang

      Pages 3-18

   3. A Performance Comparison of Java Cards for Micropayment Implementation

      • Jordi Castellà-Roca, Josep Domingo-Ferrer, Jordi Herrera-Joancomartí, Jordi Planes

      Pages 19-38

   4. Low-Size Coupons for Low-Cost IC Cards

      • Marc Girault

      Pages 39-49

   5. Copy Prevention Scheme for Rights Trading Infrastructure

      • Masayuki Terada, Hiroshi Kuno, Masayuki Hanadate, Ko Fujimura

      Pages 51-70

   6. Elliptic Curve Cryptography on Smart Cards without Coprocessors

      • Adam D. Woodbury, Daniel V. Bailey, Christof Paar

      Pages 71-92

   7. How to Make DES-Based Smartcards Fit for the 21-St Century

      • Stefan Lucks, Rüdiger Weis

      Pages 93-111

3. Java Session

   1. Front Matter

      Pages 113-113

      PDF

   2. Formalising Java Safety—An Overview

      • Pieter H. Hartel

      Pages 115-134

   3. Specification of the Javacard API in JML

      • Erik Poll, Joachim van den Berg, Bart Jacobs

      Pages 135-154

   4. Smart Tools for Java Cards

      • Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

      Pages 155-174

4. Web Session

   1. Front Matter

      Pages 175-175

      PDF

   2. Securing Intelligent Adjuncts Using Trusted Computing Platform Technology

      • Boris Balacheff, David Chan, Liqun Chen, Siani Pearson, Graeme Proudler

      Pages 177-195

   3. Webcard: A Java Card Web Server

      • Jim Rees, Peter Honeyman

      Pages 197-207

   4. How to Turn a GSM SIM into a Web Server

      • Scott Guthery, Roger Kehr, Joachim Posegga

      Pages 209-222

5. Privacy Session

   1. Front Matter

      Pages 223-223

      PDF

   2. Making Sense of Smart Card Security Certifications

      • Jason Reid, Mark Looi

      Pages 225-240

   3. ‘Pressure Sequence’-A Novel Method of Protecting Smart Cards

      • Neil Henderson, Pieter Hartel

      Pages 241-256

   4. Partial Revelation of Certified Identity

      • Fabrice Boudot

      Pages 257-269

Smart cards or IC cards offer a huge potential for information processing purposes. The portability and processing power of IC cards allow for highly secure conditional access and reliable distributed information processing. IC cards that can perform highly sophisticated cryptographic computations are already available. Their application in the financial services and telecom industries are well known. But the potential of IC cards go well beyond that. Their applicability in mainstream Information Technology and the Networked Economy is limited mainly by our imagination; the information processing power that can be gained by using IC cards remains as yet mostly untapped and is not well understood. Here lies a vast uncovered research area which we are only beginning to assess, and which will have a great impact on the eventual success of the technology. The research challenges range from electrical engineering on the hardware side to tailor-made cryptographic applications on the software side, and their synergies.
This volume comprises the proceedings of the Fourth Working Conference on Smart Card Research and Advanced Applications (CARDIS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held at the Hewlett-Packard Labs in the United Kingdom in September 2000.
CARDIS conferences are unique in that they bring together researchers who are active in all aspects of design of IC cards and related devices and environments, thus stimulating synergy between different research communities from both academia and industry. This volume presents the latest advances in smart card research and applications, and will be essential reading for smart card developers, smart card application developers, and computer science researchers involved in computer architecture, computer security, and cryptography.

• DJ
• DOM
• Information
• Session
• Smart Card
• Web
• cryptography

• Universitat Rovira i Virgili, Spain

  Josep Domingo-Ferrer

• Hewlett-Packard Laboratories, USA

  David Chan

• Edith Cowan University, Australia

  Anthony Watson

Policies and ethics