Transacted Memory for Smart Cards

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
    12 Downloads (Pure)

    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.
    Original languageEnglish
    Title of host publicationFME 2001: Formal Methods for Increasing Software Productivity
    Subtitle of host publicationInternational Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001, Proceedings
    EditorsJosé Nuno Oliveira, Pamela Zave
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages478-499
    Number of pages22
    ISBN (Electronic)978-3-540-45251-5
    ISBN (Print)978-3-540-41791-0
    DOIs
    Publication statusPublished - Mar 2001
    Event10th International Symposium of Formal Methods Europe, FME 2001: Formal Methods for Increasing Software Productivity - Berlin, Germany
    Duration: 12 Mar 200116 Mar 2001
    Conference number: 10

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume2021

    Conference

    Conference10th International Symposium of Formal Methods Europe, FME 2001
    Abbreviated titleFME
    CountryGermany
    CityBerlin
    Period12/03/0116/03/01

    Keywords

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

    Fingerprint

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

    Cite this