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).
| Original language | English |
|---|---|
| Title of host publication | Proceedings of CARDIS '02 |
| Subtitle of host publication | Fifth Smart Card Research and Advanced Application Conference, November 21-22, 2002, San Jose, California, USA |
| Place of Publication | Berkeley, CA |
| Publisher | USENIX Association |
| Pages | 75-86 |
| Number of pages | 12 |
| ISBN (Print) | 1-931971-04-8 |
| Publication status | Published - Nov 2002 |
| Event | 5th Smart Card Research and Advanced Applications Conference, CARDIS 2002 - San Jose, United States Duration: 21 Nov 2002 → 22 Nov 2002 Conference number: 5 |
Conference
| Conference | 5th Smart Card Research and Advanced Applications Conference, CARDIS 2002 |
|---|---|
| Abbreviated title | CARDIS 2002 |
| Country/Territory | United States |
| City | San Jose |
| Period | 21/11/02 → 22/11/02 |
Keywords
- SCS-Cybersecurity