Java on Smart Cards: Programming and Security First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers /
Java on Smart Cards: Programming and Security First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers / [electronic resource] :
edited by Isabelle Attali, Thomas Jensen.
- 1st ed. 2001.
- X, 166 p. online resource.
- Lecture Notes in Computer Science, 2041 1611-3349 ; .
- Lecture Notes in Computer Science, 2041 .
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.
9783540451655
10.1007/3-540-45165-X doi
Computer programming.
Computer networks .
Operating systems (Computers).
Computers, Special purpose.
Cryptography.
Data encryption (Computer science).
Electronic data processing--Management.
Programming Techniques.
Computer Communication Networks.
Operating Systems.
Special Purpose and Application-Based Systems.
Cryptology.
IT Operations.
QA76.6-76.66
005.11
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.
9783540451655
10.1007/3-540-45165-X doi
Computer programming.
Computer networks .
Operating systems (Computers).
Computers, Special purpose.
Cryptography.
Data encryption (Computer science).
Electronic data processing--Management.
Programming Techniques.
Computer Communication Networks.
Operating Systems.
Special Purpose and Application-Based Systems.
Cryptology.
IT Operations.
QA76.6-76.66
005.11