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
- Mathematik | Informatik
- EDV | Informatik
- Angewandte Informatik
- Computeranwendungen in Wissenschaft & Technologie
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Prozedurale Programmierung
- Mathematik | Informatik
- EDV | Informatik
- Technische Informatik
- Computersicherheit
- Datensicherheit, Datenschutz
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Informationstheorie, Kodierungstheorie
- Mathematik | Informatik
- EDV | Informatik
- Angewandte Informatik
- Computeranwendungen in Wissenschaft & Technologie
- Mathematik | Informatik
- EDV | Informatik
- Technische Informatik
- Computersicherheit
- Datensicherheit, Datenschutz
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Informationstheorie, Kodierungstheorie
- Wirtschaftswissenschaften
- Wirtschaftswissenschaften
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer