Java on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers by Isabelle AttaliJava on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers by Isabelle Attali

Java on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes…

EditorIsabelle Attali, Thomas Jensen

Paperback | May 23, 2001

Pricing and Purchase Info

$107.97 online 
$128.95 list price save 16%
Earn 540 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Java on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes…Format:PaperbackDimensions:176 pages, 9.17 × 6.1 × 0.01 inPublished:May 23, 2001Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354042167X

ISBN - 13:9783540421672

Look for similar items by category:

Reviews

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.