一个安全、原子的电子商务协议及其形式化验证

• A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION