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

DOI10.1007/3-540-45165-X_5MaRDI QIDQ2771741zbMATH OpenFDO

Authors Pieter Hartel, Eduard de Jong

Publication date 18 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2041/20410052, https://research.utwente.nl/en/publications/207ba3b4-e01d-4665-8461-e8d78ee80cee

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Review text

Summay: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. For the entire collection see [Zbl 0968.68557].

Recommendations

• Implementation of Java card virtual machine
• scientific article; zbMATH DE number 1848374
• The next smart card nightmare. Logical attacks, combined attacks, mutant applications and other funny things
• Specification and runtime verification of Java card programs
• scientific article; zbMATH DE number 2088502

Cited in

(13)

• Correctness of Java card method lookup via logical relations
• Open platform security
• A simple(r) interface distribution mechanism for Java card
• The next smart card nightmare. Logical attacks, combined attacks, mutant applications and other funny things
• scientific article; zbMATH DE number 2088502 (Why is no real title available?)
• scientific article; zbMATH DE number 1951118 (Why is no real title available?)
• scientific article; zbMATH DE number 1956492 (Why is no real title available?)
• scientific article; zbMATH DE number 1980964 (Why is no real title available?)
• scientific article; zbMATH DE number 1848374 (Why is no real title available?)
• scientific article; zbMATH DE number 1848386 (Why is no real title available?)
• scientific article; zbMATH DE number 1857506 (Why is no real title available?)
• Programming Languages and Systems
• Implementation of Java card virtual machine

This page was built for publication: A programming and a modelling perspective on the evaluation of Java card implementations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2771741)