Verwandte Artikel zu Java on Smart Cards: Programming and Security: First...

Java on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers (Lecture Notes in Computer Science, 2041, Band 2041) - Softcover

Jensen, Thomas; Attali, Isabelle

 
9783540421672: Java on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers (Lecture Notes in Computer Science, 2041, Band 2041)
Softcover
ISBN 10: 354042167X ISBN 13: 9783540421672
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354042167X
ISBN 13 
9783540421672
Einband
Taschenbuch
Anzahl der Seiten
176
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland