Java on Smart Cards:Programming and Security [electronic resource] / edited by Isabelle Attali, Thomas Jensen.
Material type:
TextSeries: Lecture Notes in Computer Science ; 2041Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Description: X, 166 p. online resourceContent type: - text
- computer
- online resource
- 9783540451655
- Computer science
- Computer Communication Networks
- Software engineering
- Operating systems (Computers)
- Data encryption (Computer science)
- Information Systems
- Management information systems
- Computer Science
- Computer Communication Networks
- Operating Systems
- Special Purpose and Application-Based Systems
- Data Encryption
- Management of Computing and Information Systems
- Business Information Systems
- 004.6 23
- TK5105.5-5105.9
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK5222 |
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 on this title.