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

【文件属性】：
文件名称：论文研究-优化的匿名电子现金支付协议及其形式化验证.pdf
文件大小：207KB
文件格式：PDF
更新时间：2022-08-11 14:02:03
安全属性,形式化验证,密钥保密性,非否认性,公平性,原子性 针对匿名电子现金支付协议存在的缺陷，提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行，确保协议密钥保密性的实现；引入电子证书证明交易主体的身份，确保协议非否认性的实现；借助可信方传递付款收据，避免交易主体不诚实所导致的公平性缺失；引入FTP传输方式传送电子货币和付款收据，确保实现可追究性与公平性，进一步增强协议的鲁棒性。对优化协议进行形式化验证，结果表明，优化协议满足密钥保密性、非否认性、公平性、可追究性、原子性等安全属性。