满足多种安全属性的复合型支付协议及其逻辑分析

• 作者: 袁开银 陈莉
• 来源期刊: 计算机应用研究
• 关键词: 复合型支付协议 密钥新鲜性 密钥秘密性 原子性
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2672-2677
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.07.074

摘要

针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商.通过引入公钥证书证明协议主体的身份、借助可信方传递付款收据以及采用FTP方式传送电子货币和付款收据等方式提出了支付子协议.使用逻辑分析方法对该协议进行严格逻辑推理验证,结果表明该协议能够满足多种安全属性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈莉	河南财经政法大学现代教育技术中心	33	148	8.0	10.0
2	袁开银	河南财经政法大学现代教育技术中心	11	28	3.0	5.0