fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Jensen / Attali

Java on Smart Cards: Programming and Security

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

Medium: Buch
ISBN: 978-3-540-42167-2
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 23.05.2001
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

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.

Produkteigenschaften

  • Artikelnummer: 9783540421672
  • Medium: Buch
  • ISBN: 978-3-540-42167-2
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 23.05.2001
  • Sprache(n): Englisch
  • Auflage: 2001
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 275 g
  • Seiten: 166
  • Format (B x H x T): 155 x 233 x 10 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

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.