Smart Card Research and Advanced Applications : IFIP TC8 / WG8.8 Fourth Working Conference on Smart Card Research and Advanced Applications September 20–22, 2000, Bristol, United Kingdom

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. Front Matter....Pages i-ix Front Matter....Pages 1-1 Friendly Observers Ease Off-Line E-Cash....Pages 3-18 A Performance Comparison of Java Cards for Micropayment Implementation....Pages 19-38 Low-Size Coupons for Low-Cost IC Cards....Pages 39-49 Copy Prevention Scheme for Rights Trading Infrastructure....Pages 51-70 Elliptic Curve Cryptography on Smart Cards without Coprocessors....Pages 71-92 How to Make DES-Based Smartcards Fit for the 21-St Century....Pages 93-111 Front Matter....Pages 113-113 Formalising Java Safety—An Overview....Pages 115-134 Specification of the Javacard API in JML....Pages 135-154 Smart Tools for Java Cards....Pages 155-174 Front Matter....Pages 175-175 Securing Intelligent Adjuncts Using Trusted Computing Platform Technology....Pages 177-195 Webcard: A Java Card Web Server....Pages 197-207 How to Turn a GSM SIM into a Web Server....Pages 209-222 Front Matter....Pages 223-223 Making Sense of Smart Card Security Certifications....Pages 225-240 ‘Pressure Sequence’-A Novel Method of Protecting Smart Cards....Pages 241-256 Partial Revelation of Certified Identity....Pages 257-269 Front Matter....Pages 271-271 Biometrics, Access Control, Smart Cards: A Not So Simple Combination....Pages 273-288 Biometrical Fingerprint Recognition: Don’t get your Fingers Burned....Pages 289-303 Front Matter....Pages 305-305 Parasitic Authentication....Pages 307-326 Efficient Downloading and Updating Applications on Portable Devices Using Authentication Trees....Pages 327-343 Decentralized Authorization with ECDSA on a Java Smart Card....Pages 345-364 Front Matter....Pages 305-305 JCCap: Capability-Based Access Control for Java Card....Pages 365-388 Back Matter....Pages 389-389