Smart Card Programming and Security 智能卡程序设计与安全

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS including its subseries LNAI spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material published traditionally includes.
—proceedings （published in time for the respective conference）
—post-proceedings （consisting of thoroughly revised final full papers）
—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）

在线阅读本书

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.

Invited Talk
Protecting Consumer Security Devices（The Next 10 Years）
Contributed Papters
Jakarta：A Toolset for Reasoning about Java Cord
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 Dernels
Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime：A SOAP/MOM Approcach in the Context of Java Cards
An Operational Semantics of the Java Card Firewall
CardS4：Modal Theorem Proving on Java Smartcards
iButoon Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric
SIMspeak-Towards an Open and Secure Application Platform for GSM SIMs
On-Card Bytecode Verificaltion for Java Card
Towards a Full Formal Specifion of the Java Card 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 Jean-Jacques Quisquater and Dauid Samyde
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
Author Index