Transacted Memory for Smart Cards

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

doi:10.1007/3-540-45251-6_28

Transacted Memory for Smart Cards

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

28 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 language	English
Title of host publication	FME 2001: Formal Methods for Increasing Software Productivity
Subtitle of host publication	International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001, Proceedings
Editors	José Nuno Oliveira, Pamela Zave
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	478-499
Number of pages	22
ISBN (Electronic)	978-3-540-45251-5
ISBN (Print)	978-3-540-41791-0
DOIs	https://doi.org/10.1007/3-540-45251-6_28
Publication status	Published - Mar 2001
Event	10th International Symposium of Formal Methods Europe, FME 2001: Formal Methods for Increasing Software Productivity - Berlin, Germany Duration: 12 Mar 2001 → 16 Mar 2001 Conference number: 10

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2021

Conference

Conference	10th International Symposium of Formal Methods Europe, FME 2001
Abbreviated title	FME
Country/Territory	Germany
City	Berlin
Period	12/03/01 → 16/03/01

Keywords

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

Access to Document

10.1007/3-540-45251-6_28

Cite this

Hartel, P. H., Butler, M. J., de Jong, E., & Longley, M. (2001). Transacted Memory for Smart Cards. In J. N. Oliveira, & P. Zave (Eds.), FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001, Proceedings (pp. 478-499). (Lecture Notes in Computer Science; Vol. 2021). Springer. https://doi.org/10.1007/3-540-45251-6_28

Hartel, Pieter H. ; Butler, Michael J. ; de Jong, Eduard et al. / Transacted Memory for Smart Cards. FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001, Proceedings. editor / José Nuno Oliveira ; Pamela Zave. Berlin, Heidelberg : Springer, 2001. pp. 478-499 (Lecture Notes in Computer Science).

@inproceedings{3c4f42d2cafb4026b9f3c73330ed91bf,

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, Information sequence, Current generation, Smart cards, Spin model, Memory manager",

author = "Hartel, {Pieter H.} and Butler, {Michael J.} and {de Jong}, Eduard and Mark Longley",

year = "2001",

month = mar,

doi = "10.1007/3-540-45251-6_28",

language = "English",

isbn = "978-3-540-41791-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "478--499",

editor = "Oliveira, {Jos{\'e} Nuno} and Pamela Zave",

booktitle = "FME 2001: Formal Methods for Increasing Software Productivity",

address = "Germany",

note = "10th International Symposium of Formal Methods Europe, FME 2001 : Formal Methods for Increasing Software Productivity, FME ; Conference date: 12-03-2001 Through 16-03-2001",

}

Hartel, PH, Butler, MJ, de Jong, E & Longley, M 2001, Transacted Memory for Smart Cards. in JN Oliveira & P Zave (eds), FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001, Proceedings. Lecture Notes in Computer Science, vol. 2021, Springer, Berlin, Heidelberg, pp. 478-499, 10th International Symposium of Formal Methods Europe, FME 2001, Berlin, Berlin, Germany, 12/03/01. https://doi.org/10.1007/3-540-45251-6_28

Transacted Memory for Smart Cards. / Hartel, Pieter H.; Butler, Michael J.; de Jong, Eduard et al.
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001, Proceedings. ed. / José Nuno Oliveira; Pamela Zave. Berlin, Heidelberg: Springer, 2001. p. 478-499 (Lecture Notes in Computer Science; Vol. 2021).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Transacted Memory for Smart Cards

AU - Hartel, Pieter H.

AU - Butler, Michael J.

AU - de Jong, Eduard

AU - Longley, Mark

N1 - Conference code: 10

PY - 2001/3

Y1 - 2001/3

N2 - 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.

AB - 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.

KW - SCS-Cybersecurity

KW - Information sequence

KW - Current generation

KW - Smart cards

KW - Spin model

KW - Memory manager

U2 - 10.1007/3-540-45251-6_28

DO - 10.1007/3-540-45251-6_28

M3 - Conference contribution

SN - 978-3-540-41791-0

T3 - Lecture Notes in Computer Science

SP - 478

EP - 499

BT - FME 2001: Formal Methods for Increasing Software Productivity

A2 - Oliveira, José Nuno

A2 - Zave, Pamela

PB - Springer

CY - Berlin, Heidelberg

T2 - 10th International Symposium of Formal Methods Europe, FME 2001

Y2 - 12 March 2001 through 16 March 2001

ER -

Hartel PH, Butler MJ, de Jong E, Longley M. Transacted Memory for Smart Cards. In Oliveira JN, Zave P, editors, FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001, Proceedings. Berlin, Heidelberg: Springer. 2001. p. 478-499. (Lecture Notes in Computer Science). doi: 10.1007/3-540-45251-6_28

Transacted Memory for Smart Cards

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this