Smart card programming and security : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001 : proceedings
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2140 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Actes d'une conférence tenue à Cannes du 19 au 21 septembre 2001, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Smart card programming and security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, proceedings, Isabelle Attali, Thomas Jensen (eds.), Berlin, Springer, 2001, 1 vol. (VII-254 p.), Lecture notes in computer science, 3-540-42610-8 • Smart Card Programming and Security, Texte imprimé, 9783662164990 |
Indholdsfortegnelse:
- 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.