An Operational Model of QuickPay

J.J. Quisquater (Editor), Pieter H. Hartel, J. Hill, B. Schneier (Editor), M. Sims

    Research output: Contribution to conferencePaperAcademicpeer-review

    48 Downloads (Pure)

    Abstract

    QuickPay is a system for micro payments aiming to avoid the cost of cryptographic operations during payments. An operational model of the system has been built to assist in the search for weaknesses in the protocols. As a result of this model building activity, one minor weakness has been found. Another more serious weakness has been re-discovered and a number of solutions are proposed. The strongest solution is proved correct.
    Original languageUndefined
    Pages19-28
    Number of pages10
    DOIs
    Publication statusPublished - Sep 1998
    Event3rd Smart Card Research and Advanced Application Conference, CARDIS 1998 - Louvain la Neuve, Belgium
    Duration: 14 Sep 199816 Sep 1998
    Conference number: 3

    Other

    Other3rd Smart Card Research and Advanced Application Conference, CARDIS 1998
    Abbreviated titleCARDIS 1998
    CountryBelgium
    CityLouvain la Neuve
    Period14/09/9816/09/98

    Keywords

    • IR-55695
    • SCS-Cybersecurity
    • EWI-1054

    Cite this