EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

902 A Java Reference Model of Transacted Memory for Smart Cards

Home Policy Brochure Browse Search User Area Contact Help

Poll, E. and Hartel, P.H. and de Jong, E.K. (2002) A Java Reference Model of Transacted Memory for Smart Cards. In: 5th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS), San Jose, California. pp. 75-86. USENIX Association. ISBN 1-931971-04-8

Full text available as:

PDF

- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
184 Kb

Official URL: http://www.usenix.org/publications/library/proceedings/cardis02/poll.html

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 Paper (Proceedings UNSPECIFIED, Presentation Type UNSPECIFIED)
Research Group:	EWI-DIES: Distributed and Embedded Security
Research Program:	CTIT-ISTRICE: Integrated Security and Privacy in a Networked World
Additional Information:	Imported from DIES
ID Code:	902
Status:	Published
Deposited On:	12 December 2005
Refereed:	Yes
International:	Yes
More Information:	statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item