Smart Card Programming and Security
International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings
Published on 6. August 2003
VIII, 260 pages
978-3-540-45418-2 (ISBN)
Description
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.
More details
Other editions
Additional editions
Isabelle Attali | Thomas Jensen
Smart Card Programming and Security
International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings
Book
09/2001
Springer
€53.49
Shipment within 10-15 days
Content
Invited Talk.- Protecting Consumer Security Devices.- Contributed Papers.- Jakarta: A Toolset for Reasoning about JavaCard.- Mechanising a Protocol for Smart Cards.- JCCM: Flexible Certificates for smartcards with Java Card.- Context Inference for Static Analysis of Java Card Object Sharing.- Automated Test and Oracle Generation for Smart-Card Applications.- An Internet Authorization Scheme Using Smart-Card-Based Security Kernels.- Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards.- An Operational Semantics of the Java Card Firewall.- CardS4: Modal Theorem Proving on Java Smartcards.- iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric.- SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs.- On-Card Bytecode Verification for Java Card.- Towards a Full Formal Specification of the JavaCard API.- Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector.- A Flexible Invocation Framework for Java Card.- ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards.- Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm.- Use of Biometrics for User Verification in Electronic Signature Smartcards.- Programming Internet Smartcard with XML Scripts.- Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards.
