Transacted Memory for Smart Cards

Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley

    Research output: Book/ReportReportAcademic

    134 Downloads (Pure)


    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.
    Original languageEnglish
    Place of PublicationSouthampton
    PublisherUniversity of Southampton
    Number of pages13
    Publication statusPublished - 16 Aug 2000

    Publication series

    NameDSSE Technical Report
    PublisherUniversity of Southampton, Department of Electronics and Computer Science


    • SCS-Cybersecurity
    • Current generation
    • Memory manager
    • Smart cards
    • Spin model
    • Information sequence


    Dive into the research topics of 'Transacted Memory for Smart Cards'. Together they form a unique fingerprint.

    Cite this