Lecture Notes in Computer Science

Smart Card Programming and Security

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

Editors: Attali, Isabelle, Jensen, Thomas (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45418-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-42610-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (21 chapters)

Table of contents (21 chapters)
  • Protecting Consumer Security Devices

    Moore, Simon

    Pages 1-1

  • Jakarta: A Toolset for Reasoning about JavaCard

    Barthe, G. (et al.)

    Pages 2-18

  • Mechanising a Protocol for Smart Cards

    Bella, Giampaolo

    Pages 19-33

  • JCCM: Flexible Certificates for smartcards with Java Card

    Campo, Celeste (et al.)

    Pages 34-42

  • Context Inference for Static Analysis of Java Card Object Sharing

    Caromel, Denis (et al.)

    Pages 43-57

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45418-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-42610-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Smart Card Programming and Security
Book Subtitle
International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings
Editors
  • Isabelle Attali
  • Thomas Jensen
Series Title
Lecture Notes in Computer Science
Series Volume
2140
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45418-2
DOI
10.1007/3-540-45418-7
Softcover ISBN
978-3-540-42610-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 260
Topics