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
Θέματα:
Διαθέσιμο 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.