A Java Reference Model of Transacted Memory for Smart Cards

Erik Poll, Pieter Hartel, Eduard de Jong

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

    16 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
    Title of host publicationProceedings of CARDIS '02
    Subtitle of host publicationFifth Smart Card Research and Advanced Application Conference, November 21-22, 2002, San Jose, California, USA
    Place of PublicationBerkeley, CA
    PublisherUSENIX Association
    Pages75-86
    Number of pages12
    ISBN (Print)1-931971-04-8
    Publication statusPublished - Nov 2002
    Event5th Smart Card Research and Advanced Applications Conference, CARDIS 2002 - San Jose, United States
    Duration: 21 Nov 200222 Nov 2002
    Conference number: 5

    Conference

    Conference5th Smart Card Research and Advanced Applications Conference, CARDIS 2002
    Abbreviated titleCARDIS 2002
    CountryUnited States
    CitySan Jose
    Period21/11/0222/11/02

    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