Modelling a Java Ring based implementation of an N-Count payment system

J.D. Revill; Pieter H. Hartel

Modelling a Java Ring based implementation of an N-Count payment system

Research output: Contribution to conference › Paper › Academic › peer-review

90 Downloads (Pure)

Abstract

N-Count is a system for offline value transfer. A prototype of an N-Count payment system has been designed, and it has been implemented in Java. We have used the Java Ring with the Java Card API as a secure device. The system has also been modelled using the Spin model checker. The combined prototyping and model checking has made it possible to investigate safety properties of the prototype, both formally and intuitively. Because of this model building activity, problems have been identified and solved before an actual system has been built.

Original language	Undefined
Pages	139-150
Number of pages	12
Publication status	Published - Sep 1999
Event	2nd Workshop on Security in Communication Networks, SCN 1999 - University of Salerno, Amalfi, Italy Duration: 16 Sep 1999 → 17 Sep 1999 Conference number: 2

Workshop

Workshop	2nd Workshop on Security in Communication Networks, SCN 1999
Abbreviated title	SCN
Country/Territory	Italy
City	Amalfi
Period	16/09/99 → 17/09/99

Keywords

SCS-Cybersecurity
IR-55687
EWI-1030

Access to Document

http://www.dsse.ecs.soton.ac.uk/techreports/95-03/99-4.html

Cite this

@conference{c7b1c3a8fbcf42718cf7fe1392ea2cb7,

title = "Modelling a Java Ring based implementation of an N-Count payment system",

abstract = "N-Count is a system for offline value transfer. A prototype of an N-Count payment system has been designed, and it has been implemented in Java. We have used the Java Ring with the Java Card API as a secure device. The system has also been modelled using the Spin model checker. The combined prototyping and model checking has made it possible to investigate safety properties of the prototype, both formally and intuitively. Because of this model building activity, problems have been identified and solved before an actual system has been built.",

keywords = "SCS-Cybersecurity, IR-55687, EWI-1030",

author = "J.D. Revill and Hartel, {Pieter H.}",

note = "Imported from DIES; null ; Conference date: 16-09-1999 Through 17-09-1999",

year = "1999",

month = sep,

language = "Undefined",

pages = "139--150",

}

TY - CONF

T1 - Modelling a Java Ring based implementation of an N-Count payment system

AU - Revill, J.D.

AU - Hartel, Pieter H.

N1 - Conference code: 2

PY - 1999/9

Y1 - 1999/9

N2 - N-Count is a system for offline value transfer. A prototype of an N-Count payment system has been designed, and it has been implemented in Java. We have used the Java Ring with the Java Card API as a secure device. The system has also been modelled using the Spin model checker. The combined prototyping and model checking has made it possible to investigate safety properties of the prototype, both formally and intuitively. Because of this model building activity, problems have been identified and solved before an actual system has been built.

AB - N-Count is a system for offline value transfer. A prototype of an N-Count payment system has been designed, and it has been implemented in Java. We have used the Java Ring with the Java Card API as a secure device. The system has also been modelled using the Spin model checker. The combined prototyping and model checking has made it possible to investigate safety properties of the prototype, both formally and intuitively. Because of this model building activity, problems have been identified and solved before an actual system has been built.

KW - SCS-Cybersecurity

KW - IR-55687

KW - EWI-1030

M3 - Paper

SP - 139

EP - 150

Y2 - 16 September 1999 through 17 September 1999

ER -