优化的匿名电子现金支付协议及其形式化验证

• 作者: 刘军 陈莉
• 来源期刊: 计算机应用研究
• 关键词: 安全属性 形式化验证 密钥保密性 非否认性 公平性 原子性
• 年，卷（期）: 2010,（8）
• 页码范围: 3053-3057
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.08.064

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈莉	河南财经学院计算中心	33	148	8.0	10.0
2	刘军	河南财经学院计算中心	8	11	2.0	3.0