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.
Cite
CITATION STYLE
Hartel, P. H., & De Jong, E. (2001). A programming and a modelling perspective on the evaluation of java card implementations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2041, pp. 52–72). Springer Verlag. https://doi.org/10.1007/3-540-45165-x_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
