Advertisement

Java on Smart Cards:Programming and Security

  • Isabelle Attali
  • Thomas Jensen
Conference proceedings JavaCard 2000

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talk

    1. D. Bolignano, D. Le Métayer, C. Loiseaux
      Pages 1-5
  3. Contributed Papers

    1. P. Bieber, J. Cazin, V. Wiels, G. Zanon, El Marouan, P. Girard et al.
      Pages 25-37
    2. Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman
      Pages 73-89
    3. Roger Kehr, Michael Rohs, Harald Vogt
      Pages 90-97
    4. Marc Kekicheff, Forough Kashef, David Brewer
      Pages 98-113
    5. Ksheerabdhi Krishna, Michael Montgomery
      Pages 114-120
    6. Hugues Martin, Lydie du Bousquet
      Pages 121-136
    7. Joachim van den Berg, Bart Jacobs, Erik Poll
      Pages 137-150
    8. Rüdiger Weis, Bastiaan Bakker, Stefan Lucks
      Pages 151-162
  4. Back Matter
    Pages 163-163

About these proceedings

Keywords

Apple Applets Java Smart cards digital payment electronic commerce formal method formal methods information security internet security java card language java card programs java cards secure communications security

Editors and affiliations

  • Isabelle Attali
    • 1
  • Thomas Jensen
    • 2
  1. 1.INRIA Sophia AntipolisSophia AntipolisFrance
  2. 2.IRISA/CNRSCampus de BeaulieuRennesFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45165-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42167-2
  • Online ISBN 978-3-540-45165-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site