Cantitate/Preț
Produs

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

Editat de Isabelle Attali, Thomas Jensen
en Limba Engleză Paperback – 23 mai 2001

Din seria Lecture Notes in Computer Science

Preț: 30538 lei

Preț vechi: 38173 lei
-20%

Puncte Express: 458

Preț estimativ în valută:
5851 6337$ 5017£

Carte tipărită la comandă

Livrare economică 06-11 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540421672
ISBN-10: 354042167X
Pagini: 176
Ilustrații: X, 166 p.
Dimensiuni: 155 x 233 x 9 mm
Greutate: 0.58 kg
Ediția:2001
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

Cuprins

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.

Caracteristici

Includes supplementary material: sn.pub/extras