Java on Smart Cards: Programming and Security First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers /
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
|
Edition: | 1st ed. 2001. |
Series: | Lecture Notes in Computer Science,
2041 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Table of Contents:
- 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.