An Operational Model of QuickPay


Hartel, P.H. and Hill, J. and Sims, M. (1998) An Operational Model of QuickPay. In: 3rd Smart card research and advanced application, CARDIS 1998, Louvain la Neuve, Belgium (pp. pp. 19-28).

open access
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.
Item Type:Conference or Workshop Item
Copyright:©1998 Springer-Verlag
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page