Skip to main content
  • Conference proceedings
  • © 2001

Java on Smart Cards: Programming and Security

First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers

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

Conference series link(s): JavaCard: International Java Card Workshop

Conference proceedings info: JavaCard 2000.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

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

Table of contents (12 papers)

  1. Front Matter

    Pages I-X
  2. Invited Talk

    1. Formal Methods in Context: Security and Java Card

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

    1. The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow

      • P. Bieber, J. Cazin, V. Wiels, G. Zanon, El Marouan, P. Girard et al.
      Pages 25-37
    2. Secure Internet Smartcards

      • Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman
      Pages 73-89
    3. Issues in Smartcard Middleware

      • Roger Kehr, Michael Rohs, Harald Vogt
      Pages 90-97
    4. Open Platfom Security

      • Marc Kekicheff, Forough Kashef, David Brewer
      Pages 98-113
    5. A Simple(r) Interface Distribution Mechanism for Java Card

      • Ksheerabdhi Krishna, Michael Montgomery
      Pages 114-120
    6. Automatic Test Generation for Java Card Applets

      • Hugues Martin, Lydie du Bousquet
      Pages 121-136
    7. Formal Specification and Verification of Java Card’s Application Identifier Class

      • Joachim van den Berg, Bart Jacobs, Erik Poll
      Pages 137-150
    8. Security on Your Hand: Secure Filesystems with a “Non-cryptographic” JAVA-Ring

      • Rüdiger Weis, Bastiaan Bakker, Stefan Lucks
      Pages 151-162
  4. Back Matter

    Pages 163-163

Other Volumes

  1. Java on Smart Cards:Programming and Security

Editors and Affiliations

  • INRIA Sophia Antipolis, Sophia Antipolis, France

    Isabelle Attali

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

    Thomas Jensen

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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