USENIX Conference Policies
A Java Reference Model of Transacted Memory for Smart Cards
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model and C implementation. We conclude that Java/JML combines the advantages of a high level specification in the JML part (based on our Z model), with a detailed implementation in the Java part (based on our C implementation).
BibTeX
@inproceedings {270469,
author = {Erik Poll and Pieter Hartel and Eduard de Jong},
title = {A Java Reference Model of Transacted Memory for Smart Cards},
booktitle = {5th Smart Card Research and Advanced Application Conference (CARDIS 02)},
year = {2002},
address = {San Jose, CA},
url = {https://www.usenix.org/conference/cardis-02/java-reference-model-transacted-memory-smart-cards},
publisher = {USENIX Association},
month = nov
}
author = {Erik Poll and Pieter Hartel and Eduard de Jong},
title = {A Java Reference Model of Transacted Memory for Smart Cards},
booktitle = {5th Smart Card Research and Advanced Application Conference (CARDIS 02)},
year = {2002},
address = {San Jose, CA},
url = {https://www.usenix.org/conference/cardis-02/java-reference-model-transacted-memory-smart-cards},
publisher = {USENIX Association},
month = nov
}