Smart Card Programming and Security
Springer Berlin (Verlag)
978-3-540-42610-3 (ISBN)
Invited Talk.- Protecting Consumer Security Devices.- Contributed Papers.- Jakarta: A Toolset for Reasoning about JavaCard.- Mechanising a Protocol for Smart Cards.- JCCM: Flexible Certificates for smartcards with Java Card.- Context Inference for Static Analysis of Java Card Object Sharing.- Automated Test and Oracle Generation for Smart-Card Applications.- An Internet Authorization Scheme Using Smart-Card-Based Security Kernels.- Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards.- An Operational Semantics of the Java Card Firewall.- CardS4: Modal Theorem Proving on Java Smartcards.- iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric.- SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs.- On-Card Bytecode Verification for Java Card.- Towards a Full Formal Specification of the JavaCard API.- Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector.- A Flexible Invocation Framework for Java Card.- ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards.- Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm.- Use of Biometrics for User Verification in Electronic Signature Smartcards.- Programming Internet Smartcard with XML Scripts.- Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards.
Erscheint lt. Verlag | 5.9.2001 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | VIII, 260 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 233 mm |
Gewicht | 458 g |
Themenwelt | Informatik ► Theorie / Studium ► Kryptologie |
Schlagworte | biometrice • consumer security • cryptography • devices • Digital Payment • E-Commerce • Formal Method • Formal Verification • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • java card • java card firewall • java cards • open platform security • programming • security • Smart card • smart-card-based security • Smart cards |
ISBN-10 | 3-540-42610-8 / 3540426108 |
ISBN-13 | 978-3-540-42610-3 / 9783540426103 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich