[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Smart Card Programming and Security

International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Isabelle Attali

    1. INRIA Sophia Antipolis, Sophia Antipolis Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas Jensen

    1. Campus de Beaulieu, IRISA/CNRS, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2140)

Included in the following conference series:

Conference proceedings info: E-smart 2001.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (21 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Invited Talk

    1. Protecting Consumer Security Devices

      • Simon Moore
      Pages 1-1

  3. Contributed Papers

    1. Jakarta: A Toolset for Reasoning about JavaCard

      • G. Barthe, G. Dufay, M. Huisman, S. Melo de Sousa
      Pages 2-18

    2. Mechanising a Protocol for Smart Cards

      • Giampaolo Bella
      Pages 19-33

    3. JCCM: Flexible Certificates for smartcards with Java Card

      • Celeste Campo, Andrés Marín, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado et al.
      Pages 34-42

    4. Context Inference for Static Analysis of Java Card Object Sharing

      • Denis Caromel, Ludovic Henrio, Bernard Serpette
      Pages 43-57

    5. Automated Test and Oracle Generation for Smart-Card Applications

      • Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
      Pages 58-70

    6. An Internet Authorization Scheme Using Smart-Card-Based Security Kernels

      • Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell
      Pages 71-82

    7. Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards

      • Didier Donsez, Sébastien Jean, Sylvain Lecomte, Olivier Thomas
      Pages 83-94

    8. An Operational Semantics of the Java Card Firewall

      • Marc Éluard, Thomas Jensen, Ewen Denne
      Pages 95-110

    9. CardS4: Modal Theorem Proving on Java Smartcards

      • Rajeev Prabhakar Goré, Phuong Thê Nguyên
      Pages 111-123

    10. iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric

      • Neil J. Henderson, Neil M. White, Pieter H. Hartel
      Pages 124-134

    11. SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs

      • Roger Kehr, Hendrik Mieves
      Pages 135-149

    12. On-Card Bytecode Verification for Java Card

      • Xavier Leroy
      Pages 150-164

    13. Towards a Full Formal Specification of the JavaCard API

      • Hans Meijer, Erik Poll
      Pages 165-178

    14. Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector

      • Gisela Meister, Michael Vogel
      Pages 179-187

    15. A Flexible Invocation Framework for Java Card

      • Michael Montgomery, Ksheerabdhi Krishna
      Pages 188-199

    16. ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards

      • Jean-Jacques Quisquater, David Samyde
      Pages 200-210

    17. Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm

      • Tanja Römer, Jean-Pierre Seifert
      Pages 211-219

    18. Use of Biometrics for User Verification in Electronic Signature Smartcards

      • Bruno Struif
      Pages 220-227
Back to top

Other volumes

  1. Smart Card Programming and Security

Editors and Affiliations

  • INRIA Sophia Antipolis, Sophia Antipolis Cedex, France

    Isabelle Attali

  • Campus de Beaulieu, IRISA/CNRS, Rennes, France

    Thomas Jensen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation