1 option
Smart Card Programming and Security : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings / edited by Isabelle Attali, Thomas Jensen.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2140.
- Lecture Notes in Computer Science, 0302-9743 ; 2140
- Language:
- English
- Subjects (All):
- Data encryption (Computer science).
- Computer engineering.
- Computer security.
- Computers, Special purpose.
- Computer networks.
- Operating systems (Computers).
- Cryptology.
- Computer Engineering.
- Systems and Data Security.
- Special Purpose and Application-Based Systems.
- Computer Communication Networks.
- Operating Systems.
- Local Subjects:
- Cryptology.
- Computer Engineering.
- Systems and Data Security.
- Special Purpose and Application-Based Systems.
- Computer Communication Networks.
- Operating Systems.
- Physical Description:
- 1 online resource (VIII, 260 pages).
- Edition:
- First edition 2001.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45418-2
- 9783540454182
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.