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