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 | Italy |
City | Amalfi |
Period | 16/09/99 → 17/09/99 |
Keywords
- SCS-Cybersecurity
- IR-55687
- EWI-1030