Article thumbnail

An operational model of QuickPay

By Jake Hill, Pieter H. Hartel, Pieter H. Hartel and Matt Sims and Matt Sims

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 rediscovered and a number of solutions are proposed. The strongest solution is proved correct

Publisher: Springer-Verlag
Year: 1998
OAI identifier: oai:CiteSeerX.psu:10.1.1.16.3700
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.dsse.ecs.soton.ac.u... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.