Java on Smart Cards: Programming and Security

First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers

176 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI) Wissensbasierte Systeme, Expertensysteme
• ISBN: 9783540421672
• Sprache: Englisch
• Erscheinungsdatum: 23.05.2001
• Größe: 233 x 155 mm
• Verlag: Springer
• Herausgegeben von: Thomas Jensen, Isabelle Attali