Article thumbnail

An operational model of QuickPay

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


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:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

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