Bibliografie

Detailansicht

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
Springer Verlag GmbH
ISBN/EAN: 9783540421672
Umbreit-Nr.: 1469675

Sprache: Englisch
Umfang: x, 166 S.
Format in cm:
Einband: kartoniertes Buch

Erschienen am 23.05.2001
€ 53,49
(inklusive MwSt.)
Lieferbar innerhalb 1 - 2 Wochen
Beim Buchhandel bestellen
  • Zusatztext

    • 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.

  • Kurztext

    • Includes supplementary material: sn.pub/extras

  • Autorenportrait
    • InhaltsangabeInvited 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.