The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPROM and RAM, respectively). Because power to a smartcard can suddenly be interrupted by a so-called card tear, by someone removing the smartcard from the reader, Java Card provides a notion of transaction to ensure that updates of multiple fields in persistent memory can be performed atomically. This paper describes a way to reason about these Java Card specific language features. © Springer-Verlag 2004.
CITATION STYLE
Hubbers, E., & Poll, E. (2004). Reasoning about card tears and transactions in java card. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2984, 114–128. https://doi.org/10.1007/978-3-540-24721-0_8
Mendeley helps you to discover research relevant for your work.