Attali / Jensen | Java on Smart Cards: Programming and Security | E-Book | sack.de
E-Book

E-Book, Englisch, Band 2041, 166 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Attali / Jensen Java on Smart Cards: Programming and Security

First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers
Erscheinungsjahr 2003
ISBN: 978-3-540-45165-5
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers

E-Book, Englisch, Band 2041, 166 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-45165-5
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Attali / Jensen Java on Smart Cards: Programming and Security jetzt bestellen!

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Attali, Isabelle
Jensen, Thomas

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.