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

Share/Save/Bookmark

Revill, J.D. and Hartel, P.H. (1999) Modelling a Java Ring based implementation of an N-Count payment system. In: 2nd Workshop on Security in Communication Networks, University of Salerno, Amalfi, Italy (pp. pp. 139-150).

open access
[img]
Preview
PDF
345kB
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.
Item Type:Conference or Workshop Item
Link to this item:http://purl.utwente.nl/publications/55687
Official URL:http://www.dsse.ecs.soton.ac.uk/techreports/95-03/99-4.html
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page