Java on Smart Cards: Programming and Security First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers / edited by Isabelle Attali, Thomas Jensen.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Attali, Isabelle (Editor), Jensen, Thomas (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Edition:	1st ed. 2001.
Series:	Lecture Notes in Computer Science, 2041 Springer eBook Collection.
Subjects:	Computer programming. Computer communication systems. Operating systems (Computers). Special purpose computers. Data encryption (Computer science). Management information systems. Computer science. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of 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.

Similar Items