Jensen / Attali | Java on Smart Cards: Programming and Security | Buch | 978-3-540-42167-2 | sack.de

Buch, Englisch, Band 2041, 166 Seiten, Paperback, Format (B × H): 155 mm x 233 mm, Gewicht: 275 g

Reihe: Lecture Notes in Computer Science

Jensen / Attali

Java on Smart Cards: Programming and Security

First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers
2001
ISBN: 978-3-540-42167-2
Verlag: Springer Berlin Heidelberg

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

Buch, Englisch, Band 2041, 166 Seiten, Paperback, Format (B × H): 155 mm x 233 mm, Gewicht: 275 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-42167-2
Verlag: Springer Berlin Heidelberg

ThePACAPPrototype:AToolforDetectingJavaCardIllegalFlow. 25 P. Bieber,J. Cazin,A. ElMarouani,P. Girard,J. -L. Lanet,V. Wiels, G. Zanon CardKt:AutomatedMulti-modalDeductiononJavaCardsfor Multi-applicationSecurity. 38 RajeevGor´e,LanDuyNguyen A Programming and a Modelling Perspective on the Evaluation of Java CardImplementations. 52 PieterH. Hartel,EduarddeJong SecureInternetSmartcards. 73 NaomaruItoi,TomokoFukuzawa,PeterHoneyman IssuesinSmartcardMiddleware. 90 RogerKehr,MichaelRohs,HaraldVogt OpenPlatfomSecurity. 98 MarcKekiche?,ForoughKashef,DavidBrewer ASimple(r)InterfaceDistributionMechanismforJavaCard. 114 KsheerabdhiKrishna,MichaelMontgomery AutomaticTestGenerationforJavaCardApplets. 121 HuguesMartin,LydieduBousquet FormalSpeci?cationandVeri?cationofJavaCard’sApplicationIdenti?er Class. 137 JoachimvandenBerg,BartJacobs,ErikPoll X TableofContents Security on Your Hand: Secure Filesystems with a “Non-cryptographic” JAVA-Ring. 151 R¨udigerWeis,BastiaanBakker,StefanLucks AuthorIndex. 163 Formal Methods in Context: Security and Java Card D. Bolignano, D. Le Métayer, and C. Loiseaux Trusted Logic www. trusted-logic. fr 1. Security and Java Card: An Ideal Application Area for Formal Methods The benefits of formal methods for software engineering have been described at length in many research papers. They include among others: Better understanding and improved communication through unambiguous descriptions. Early bug detection thanks to the formalisation of specifications.
Jensen / Attali Java on Smart Cards: Programming and Security jetzt bestellen!

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Jensen, Thomas
Attali, Isabelle

Fachgebiete

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.