This book constitutes the refereed proceedings of the Second International Conference on Research in Smart Cards, E-smart 2001, held in Cannes, France, in September 2001. The 20 revised full papers presented were carefully reviewed and selected from 38 submissions. Among the topics addressed are biometrics, cryptography and electronic signatures on smart card security, formal methods for smart card evaluation and certification, architectures for multi-applications and secure open platforms, and middleware for smart cards and novel applications of smart cards.
Author(s): Simon Moore (auth.), Isabelle Attali, Thomas Jensen (eds.)
Series: Lecture Notes in Computer Science 2140
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 260
Tags: Special Purpose and Application-Based Systems; Computer Communication Networks; Data Encryption; Operating Systems; Logics and Meanings of Programs; Management of Computing and Information Systems
Protecting Consumer Security Devices....Pages 1-1
Jakarta: A Toolset for Reasoning about JavaCard....Pages 2-18
Mechanising a Protocol for Smart Cards....Pages 19-33
JCCM: Flexible Certificates for smartcards with Java Card....Pages 34-42
Context Inference for Static Analysis of Java Card Object Sharing....Pages 43-57
Automated Test and Oracle Generation for Smart-Card Applications....Pages 58-70
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels....Pages 71-82
Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards....Pages 83-94
An Operational Semantics of the Java Card Firewall....Pages 95-110
CardS4: Modal Theorem Proving on Java Smartcards....Pages 111-123
iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric....Pages 124-134
SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs....Pages 135-149
On-Card Bytecode Verification for Java Card....Pages 150-164
Towards a Full Formal Specification of the JavaCard API....Pages 165-178
Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector....Pages 179-187
A Flexible Invocation Framework for Java Card....Pages 188-199
ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards....Pages 200-210
Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm....Pages 211-219
Use of Biometrics for User Verification in Electronic Signature Smartcards....Pages 220-227
Programming Internet Smartcard with XML Scripts....Pages 228-241
Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards....Pages 242-254
