A Java Reference Model of Transacted Memory for Smart Cards

Erik Poll, Pieter Hartel, Eduard de Jong

    Research output: Book/ReportReportOther research output

    5 Citations (Scopus)
    1 Downloads (Pure)

    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 languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Jun 2002

    Publication series

    NameCTIT technical reports series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.02-14
    ISSN (Print)1381-3625

    Keywords

    • SCS-Cybersecurity

    Fingerprint Dive into the research topics of 'A Java Reference Model of Transacted Memory for Smart Cards'. Together they form a unique fingerprint.

    Cite this