Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
IEEE Concurrency
TTP: Secure ACID Transfer Protocol for Electronic Ticket between Personal Tamper-Proof Devices
COMPSAC '00 24th International Computer Software and Applications Conference
Towards a Full Formal Specification of the JavaCard API
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Storing a persistent transactional object heap on flash memory
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Optimized Java Card transaction mechanism based on object locality
Proceedings of the 2010 ACM Symposium on Applied Computing
ICHIT'06 Proceedings of the 1st international conference on Advances in hybrid information technology
Efficient an implementation method research of a smart card atomic operation
ICCSA'07 Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II
The research on how to reduce the number of EEPROM writing to improve speed of java card
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A high performance buffering of java objects for java card systems with flash memory
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
Hi-index | 0.00 |
A smart card runtime environment must provide the proper transaction support for the reliable update of data, especially on multi-application cards like the Java Card. The transaction mechanism must meet the demands by the applications and the system itself within the minimal resources offered by current smart card hardware. This paper presents the current transaction model implied by the Java Card 2.1 specification, highlights its shortcomings and presents a detailed discussion of possible implementation schemes and their optimizations. It especially addresses the problem of object instantiations within a transaction in the Java Card 2.1 specification and presents an effective solution.