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

J.D. Revill
, Pieter H. Hartel

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

179 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 - Sept 1999
Event	2nd Workshop on Security in Communication Networks, SCN 1999 - University of Salerno, Amalfi, Italy Duration: 16 Sept 1999 → 17 Sept 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; 2nd Workshop on Security in Communication Networks, SCN 1999 ; 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

T2 - 2nd Workshop on Security in Communication Networks, SCN 1999

Y2 - 16 September 1999 through 17 September 1999

ER -