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

J.D. Revill, Pieter H. Hartel

    Research output: Contribution to conferencePaperAcademicpeer-review

    90 Downloads (Pure)


    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 languageUndefined
    Number of pages12
    Publication statusPublished - Sep 1999
    Event2nd Workshop on Security in Communication Networks, SCN 1999 - University of Salerno, Amalfi, Italy
    Duration: 16 Sep 199917 Sep 1999
    Conference number: 2


    Workshop2nd Workshop on Security in Communication Networks, SCN 1999
    Abbreviated titleSCN


    • SCS-Cybersecurity
    • IR-55687
    • EWI-1030

    Cite this