publication . Conference object . 2000

A programming and a modelling perspective on the evaluation of Java Card implementations

Hartel, Pieter H.; de Jong, Eduard; Attali, Isabelle; Jensen, Thomas;
Open Access English
  • Published: 01 Sep 2000
  • Publisher: Springer
  • Country: Netherlands
Abstract
Java Card Technology has provided a huge step forward in programming smart cards: from assembler to using a high level Object Oriented language. However, the authors have found some differences between the current Java Card version (2.1) and main stream Java that may restrict the benefits of using Java achievable in smartcard programming. In particular, efforts towards evaluating Java Card implementations at a high level of assurance may be hampered by the presence of these differences as well as by the complexity of the Java Card VM and API. The goal of the present paper is to detail the differences from a programming and a modelling point of view.
Subjects
free text keywords: SCS-Cybersecurity, Smart cards, Garbage collection, Context switch, Modelling perspective, Power failure
Related Organizations
Download from
Universiteit Twente Repository
Conference object . 2000
Provider: NARCIS
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue