Java on Smart Cards: Programming and Security
First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers
Published on 29. June 2003
X, 166 pages
978-3-540-45165-5 (ISBN)
Description
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.
More details
Other editions
Additional editions
Isabelle Attali | Thomas Jensen
Java on Smart Cards: Programming and Security
First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers
Book
05/2001
Springer
€53.49
Shipment within 10-15 days
Content
Invited Talk.- Formal Methods in Context: Security and Java Card.- Contributed Papers.- A Dynamic Logic for the Formal Verification ofJava 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 Smartcards.- 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.
