基于电子钱包的乐观公平交易协议

摘要

本文在分析了基于信用透支的电子交易协议的基础上,提出了一种基于电子钱包的乐观公平交易协议.通过应用加密算法的交叉验证,实现了协议的原子性,同时引入了电子钱包作为安全控制端,避免了客户的恶意透支.本文详细描述了协议的执行过程,并非形式化地证明了协议的原子性和安全性.