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


Share/Save/Bookmark

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

[img]
Preview
PDF
241Kb
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
Copyright:© 2000 Springer-Verlag
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/19148
Official URL:http://dx.doi.org/10.1007/3-540-45165-X_5
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 119671