论文研究优化的匿名电子现金支付协议及其形式化验证.pdf

针对匿名电子现金支付协议存在的缺陷，提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行，确保协议密钥保密性的实现；引入电子证书证明交易主体的身份，确保协议非否认性的实现；借助可信方传递付款收据，避免交易主体不诚实所导致的公平性缺失；引入FTP传输方式传送电子货币和付款收据，确保实现可追究性与公平性，进一步增强协议的鲁棒性。对优化协议进行形式化验证，结果表明，优化协议满足密钥保密性、非否认性、公平性、可追究性、原子性等安全属性。