A Java Reference Model of Transacted Memory for Smart Cards

Poll, Erik and Hartel, Pieter and Jong de, Eduard (2002) A Java Reference Model of Transacted Memory for Smart Cards. In: Fifth Smart Card Research and Advanced Application Conference, CARDIS 2002, November 21-22, 2002, San Jose, CA.

Preview

PDF
183Kb

Abstract:	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).
Item Type:	Conference or Workshop Item
Copyright:	© 2002 Usenix Association
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Distributed and Embedded Systems (DIES)
Link to this item:	http://purl.utwente.nl/publications/38313
Official URL:	http://www.usenix.org/publications/library/proceedings/cardis02/poll.html
Conference URL:	http://www.usenix.org/publications/library/proceedings/cardis02/index.html
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 209844