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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Attali, Isabelle (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Jensen, Thomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2041
• Θέματα: Computer programming.; Computer communication systems.; Operating systems (Computers).; Special purpose computers.; Data encryption (Computer science).; Management information systems.; Computer science.; Programming Techniques.; Computer Communication Networks.; Operating Systems.; Special Purpose and Application-Based Systems.; Cryptology.; Management of Computing and Information Systems.

Πίνακας περιεχομένων:

• 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.