An Operational Model of QuickPay


Share/Save/Bookmark

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.

[img]
Preview
PDF
294Kb
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:http://purl.utwente.nl/publications/55695
Official URL:http://www.dsse.ecs.soton.ac.uk/techreports/95-03/98-4.html
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page