Java on Smart Cards: Programming and Security

This book constitutes the thoroughly refereed post-proceedings of the First International Java Card Workshop held in Cannes, France, in September 2000. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book together with one invited paper. All current theoretical and application-oriented aspects of smart card security based on Java Card language programs are addressed.

Invited Talk
Formal Methods in Context：Security and Java Card
Contributed Papers
A Dynamic Logic for the Formal Verification of Java Card Programs
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow
CardKt: Automated Multi-modal Deduction on Java Cards for
Multi-application Security
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations
Secure Internet Smaxtcards
Issues in Smartcard Middleware
Open Platfom Security
A Simple（r）Interface Distribution Mechanism for Java Card
Automatic Test Generation for Java Card Applets
Formal Specification and Verification of Java Card's Application Identifier Class
Security on Your Hand：Secure Filesystems with a “Non-cryptographic”JAVA-Ring
Author Index