Java on Smart Cards: Programming and Security: First International Workshop, Javacard 2000 Cannes, France, September 14, 2000 Revised Papers

ISBN-13: 9783540421672 / Angielski / Miękka / 2001 / 166 str.

I. Attali; T. Jensen; Isabelle Attali

Opis

This book constitutes the thoroughly refereed post-proceedings of the First International Java Card Workshop held in Cannes, France, in September 2000. inclusion in the book together with one invited paper. security based on Java Card language programs are addressed.

Spis treści

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.