A protocol is proposed to securely implement payment transactions between mutually distrustful parties. This protocol is designed to operate over an open network, and can be implemented using a currently available encryption technology. A logical verification of the protocol is included, as well as a status report on its implementation.
展开▼