Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
LETOS — a lightweight execution tool for operational semantics
Software—Practice & Experience
Formalising Java safety - an overview
Proceedings of the fourth working conference on smart card research and advanced applications on Smart card research and advanced applications
Making sense of smart card security certifications
Proceedings of the fourth working conference on smart card research and advanced applications on Smart card research and advanced applications
The Java Language Specification
The Java Language Specification
Correctness of Java Card Method Lookup via Logical Relations
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Byte Code Verification for Java Smart Card Based on Model Checking
ESORICS '98 Proceedings of the 5th European Symposium on Research in Computer Security
Formal Proof of Smart Card Applets Correctness
CARDIS '98 Proceedings of the The International Conference on Smart Card Research and Applications
ACSAC '99 Proceedings of the 15th Annual Computer Security Applications Conference
Secure object sharing in java card
WOST'99 Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology
WOST'99 Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology
Secure deletion of data from magnetic and solid-state memory
SSYM'96 Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography - Volume 6
A java reference model of transacted memory for smart cards
CARDIS'02 Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference - Volume 5
Hi-index | 0.00 |
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.