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
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.