@book{a9fb0b5b69de4a79a4dc0f1feb19fd05,
title = "Transacted Memory for Smart Cards",
abstract = "A transacted memory that is implemented using EEPROM technology offers persistence, undoability and auditing. The transacted memory system is formally specified in Z, and refined in two steps to a prototype C implementation / SPIN model. Conclusions are offered both on the transacted memory system itself and on the development process involving multiple notations and tools.",
keywords = "SCS-Cybersecurity, Current generation, Memory manager, Smart cards, Spin model, Information sequence",
author = "Hartel, {Pieter H.} and Butler, {Michael J.} and {de Jong}, Eduard and Mark Longley",
year = "2000",
month = aug,
day = "16",
language = "English",
series = "DSSE Technical Report",
publisher = "University of Southampton",
number = "2000-9",
address = "United Kingdom",
}