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
Preț estimativ în valută:
55.83€ • 64.03$ • 48.26£
55.83€ • 64.03$ • 48.26£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
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ț: 407.73 lei509.66 lei -
Bryologia Danica Eller De Danske Bladmosser (1856)Thomas JensenPreț: 171.95 lei -
Raspberry PiJason Scotts-20%Preț: 52.90 lei66.13 lei -
-20%Preț: 287.30 lei359.13 lei -
Apache FlumeSubas D'Souza-20%Preț: 210.69 lei263.36 lei -
Instant jQuery SelectorsAurelio De Rosa-20%Preț: 126.23 lei157.79 lei -
Instant IntroJsAfshin Mehrabani-20%Preț: 125.36 lei156.70 lei -
Instant NokogiriHunter Powers-20%Preț: 125.31 lei156.63 lei -
Creating Mobile Apps with Appcelerator TitaniumChristian Brousseau-20%Preț: 261.77 lei327.22 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ț: 201.47 lei251.84 lei -
Einstieg in KotlinThomas Theis-20%Preț: 214.00 lei267.50 lei -
Clean ABAPKlaus Haeuptle-20%Preț: 480.21 lei600.27 lei -
-20%Preț: 135.22 lei169.03 lei -
MLOps - Kernkonzepte im ÜberblickMark Treveil-20%Preț: 190.66 lei238.33 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.
Caracteristici
Includes supplementary material: sn.pub/extras