product iamge

Java on Smart Cards:Programming and Security

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the thoroughly refereed post-proceedings of the First International Java Card Workshop held in Cannes, France, in September 2000. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book together with one invited paper. All current theoretical and application-oriented aspects of smart card security based on Java Card language programs are addressed.

Author(s): D. Bolignano, D. Le Métayer, C. Loiseaux (auth.), Isabelle Attali, Thomas Jensen (eds.)
Series: Lecture Notes in Computer Science 2041
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001

Language: English
Pages: 166
Tags: Computer Communication Networks; Operating Systems; Special Purpose and Application-Based Systems; Data Encryption; Management of Computing and Information Systems; Business Information Systems

Formal Methods in Context: Security and Java Card....Pages 1-5
A Dynamic Logic for the Formal Verification ofJava Card Programs....Pages 6-24
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow....Pages 25-37
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security....Pages 38-51
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations....Pages 52-72
Secure Internet Smartcards....Pages 73-89
Issues in Smartcard Middleware....Pages 90-97
Open Platfom Security....Pages 98-113
A Simple(r) Interface Distribution Mechanism for Java Card....Pages 114-120
Automatic Test Generation for Java Card Applets....Pages 121-136
Formal Specification and Verification of Java Card’s Application Identifier Class....Pages 137-150
Security on Your Hand: Secure Filesystems with a “Non-cryptographic” JAVA-Ring....Pages 151-162