The Formal Model of a Simple Network Payment Protocol

• 简单网络支付协议的形式模型