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


Hartel, Pieter H. and Jong, Eduard de (2000) A programming and a modelling perspective on the evaluation of Java card implementations. In: Isabelle Attali & Thomas Jensen (Eds.), Java on Smart Cards:Programming and Security. Springer-Verlag, Berlin, Germany, pp. 52-72. ISBN 9783540421672

open access
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.
Item Type:Book Section
Additional information:Lecture Notes in Computer Science 2041
Copyright:© 2000 Springer-Verlag
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/19148
Official URL:https://doi.org/10.1007/3-540-45165-X_5
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 119671