Java on Smart Cards: Programming and Security

Isabelle Attali

ISBN 10: 354042167X / ISBN 13: 9783540421672

Published by Springer, Springer Mai 2001, 2001

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 176 pp. Englisch.

Seller Inventory # 9783540421672

Bibliographic Details

• Title: Java on Smart Cards: Programming and Security
• Publisher: Springer, Springer Mai 2001
• Publication Date: 2001
• Language: English
• ISBN 10: 354042167X
• ISBN 13: 9783540421672
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 233W x 155H x 10D millimeters 233 millimeters width by 155 millimeters height by 10 millimeters depth
• Weight: 275 grams

About this title

Synopsis

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.