FEEDBACK Smiley face
Normal view MARC view ISBD view

Java on Smart Cards:Programming and Security [electronic resource] /

Contributor(s): Attali, Isabelle [editor.] | Jensen, Thomas [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 2041Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Description: X, 166 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540451655.Subject(s): Computer science | Computer communication systems | Special purpose computers | Computer programming | Operating systems (Computers) | Data encryption (Computer science) | Management information systems | Computer Science | Programming Techniques | Computer Communication Networks | Operating Systems | Special Purpose and Application-Based Systems | Data Encryption | Management of Computing and Information SystemsOnline resources: Click here to access online
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.
In: Springer eBooks
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in