Preis-Detektiv.deArvidson, P. Sven: The Sphere of Attention
The Sphere of Attention
EAN 9781402035715
Bester Preis:
77,92€von: Averdo Bilder+Infos
Produktvorschläge:
|
von: Averdo Bilder+Infos | |
|
Graph-Grammars and Their Application to Computer Science
Graph-Grammars and Their Application to Computer Science
EAN 9783540187714
Bester Preis:
77,92€von: Averdo Bilder+Infos | |
|
Grammatical Inference and Applications
This volume presents the proceedings of the Second International Colloquium on Grammatical Inference (ICGI-94), held in Alicante, Spain in September 1994. Besides 25 research papers carefully selected and refereed by the program[...]
EAN 9783540584735
Bester Preis:
40,02€von: Averdo Bilder+Infos | |
|
Gunderson, Louise F.: Robots, Reasoning, and Reification
Robots, Reasoning, and Reification
EAN 9780387874876
Bester Preis:
77,92€von: Averdo Bilder+Infos | |
|
Handbook of Behavior Genetics
Handbook of Behavior Genetics
EAN 9780387767260
Bester Preis:
252,25€von: Averdo Bilder+Infos | |
|
Huth, Michael: Logic in Computer Science 2ed
Logic in Computer Science 2ed
EAN 9780521543101
Bester Preis:
87,70€von: Averdo Bilder+Infos | |
|
Managing and Mining Uncertain Data
Managing and Mining Uncertain Data
EAN 9780387096896
Bester Preis:
75,94€von: Averdo Bilder+Infos | |
|
Friedman, George: Constraint Theory
Constraint Theory
EAN 9780387234182
Bester Preis:
130,98€von: Averdo Bilder+Infos |
Java on Smart Cards: Programming and Security
EAN-Nummer: 9783540421672
TOP PREIS!
Anbieter: Averdo
Java on Smart Cards: Programming and Security
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 Appl [...]
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 Appl [...]
Anbieter-Kategorie: Fachbücher, Lernen & Nachschlagen > Studium & Erwachsenenbildung
Preis: 40,02 Euro (+ Versandkosten 0,00 Euro)
ID: 15350458676
Schlagworte der gewählten Anbieter-Kategorien:
erwachsenenbildung, im, black, systems, history, en, zur, john, on, mit, la, to, das, für, for, nachschlagen, des, de, von, die, und, der, of, in, and, the, lernen, fachbücher, studium, white
erwachsenenbildung, im, black, systems, history, en, zur, john, on, mit, la, to, das, für, for, nachschlagen, des, de, von, die, und, der, of, in, and, the, lernen, fachbücher, studium, white