Java on Smart Cards: Programming and Security
Editat de Isabelle Attali, Thomas Jensenen Limba Engleză Paperback – 23 mai 2001
Preț: 315.75 lei
Preț vechi: 394.68 lei
-20%
Puncte Express: 474
Carte tipărită la comandă
Livrare economică 28 iulie-11 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540421672
ISBN-10: 354042167X
Pagini: 176
Ilustrații: X, 166 p.
Dimensiuni: 155 x 233 x 10 mm
Greutate: 0.28 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354042167X
Pagini: 176
Ilustrații: X, 166 p.
Dimensiuni: 155 x 233 x 10 mm
Greutate: 0.28 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
So You Want to Be a Computer ProgrammerJames Miller-20%Preț: 186.81 lei233.52 lei -
UML Diagramming: A Case Study ApproachSuriya Sundaramoorthy-20%Preț: 416.39 lei520.49 lei -
Raspberry PiJason Scotts-20%Preț: 52.90 lei66.13 lei -
-20%Preț: 289.81 lei362.26 lei -
Apache FlumeSubas D'Souza-20%Preț: 212.17 lei265.20 lei -
Instant jQuery SelectorsAurelio De Rosa-20%Preț: 127.26 lei159.07 lei -
Instant IntroJsAfshin Mehrabani-20%Preț: 125.85 lei157.31 lei -
Instant NokogiriHunter Powers-20%Preț: 126.11 lei157.63 lei -
Creating Mobile Apps with Appcelerator TitaniumChristian Brousseau-20%Preț: 264.46 lei330.57 lei -
Smart Card Programming and SecurityIsabelle Attali-20%Preț: 320.50 lei400.63 lei -
Multiple Datenpreisgabe als Bedrohung der PrivatsphäreSackl Andreas-20%Preț: 333.33 lei416.67 lei -
Erstellung eines Zukunftskonzepts am Beispiel einer PC-SoftwareHawranke Rainer-20%Preț: 179.19 lei223.99 lei -
Konzeption und Implementierung einer Terminplaner-ApplikationBlumstengel Erik-20%Preț: 201.47 lei251.84 lei -
Automatisierung von IT-SicherheitsanalysenZingsheim André-20%Preț: 240.40 lei300.50 lei -
Robust KnapsackStelling Simon-20%Preț: 177.93 lei222.42 lei -
Strukturnaq identifikaciq sistem s haoticheskoj dinamikojEwgenij Nikul'chew-20%Preț: 323.34 lei404.18 lei -
Static AnalysisSandrine Blazy-20%Preț: 324.82 lei406.03 lei -
Planungsstabilität in der Material-LogistikThomas JensenPreț: 404.93 lei -
Besser codenUwe Post-20%Preț: 208.30 lei260.37 lei -
Einstieg in KotlinThomas Theis-20%Preț: 221.20 lei276.50 lei -
Clean ABAPKlaus Haeuptle-20%Preț: 480.21 lei600.27 lei -
Mit Arduino die elektronische Welt entdeckenErik Bartmann-20%Preț: 329.96 lei412.45 lei -
-20%Preț: 139.93 lei174.90 lei -
MLOps - Kernkonzepte im ÜberblickMark Treveil-20%Preț: 197.04 lei246.30 lei
Public țintă
Professional/practitionerCuprins
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.