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.
|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||2nd Workshop on Security in Communication Networks, SCN 1999|
|Period||16/09/99 → 17/09/99|