Java on Smart Cards: Programming and Security First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
|
Έκδοση: | 1st ed. 2001. |
Σειρά: | Lecture Notes in Computer Science,
2041 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.