Ebook: 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.

---

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.

---

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.
Content:
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
Back Matter....Pages 389-389
JCCap: Capability-Based Access Control for Java Card....Pages 365-388

---

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.
Content:
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
Back Matter....Pages 389-389
JCCap: Capability-Based Access Control for Java Card....Pages 365-388
....