An Operational Model of QuickPay - Extended 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 full paper gives the details of the model.
[1] Pieter H. Hartel,et al. LETOS – a lightweight execution tool for operational semantics , 1999 .
[2] Martín Abadi,et al. The Millicent Protocol for Inexpensive Electronic Commerce , 1995, World Wide Web J..
[3] Amir Herzberg,et al. MiniPay: Charging per Plick on the Web , 1997, Comput. Networks.