-
题名满足多种安全属性的复合型支付协议及其逻辑分析
被引量：5
- 1
-
-
作者
陈莉
袁开银
-
机构
河南财经政法大学现代教育技术中心
-
出处
《计算机应用研究》
CSCD
北大核心
2012年第7期2672-2677,共6页
-
基金
国家"863"计划基金资助项目(2007AA01Z471)
国家自然科学基金资助项目(60473021)
+2 种基金
河南省重点科技攻关项目(112102210015
072102210029)
河南省基础与前沿技术研究计划项目(122300410175)
-
文摘
针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商。通过引入公钥证书证明协议主体的身份、借助可信方传递付款收据以及采用FTP方式传送电子货币和付款收据等方式提出了支付子协议。使用逻辑分析方法对该协议进行严格逻辑推理验证,结果表明该协议能够满足多种安全属性。
-
关键词
复合型支付协议
密钥新鲜性
密钥秘密性
原子性
-
Keywords
compound payment protocol
freshness of key
secrecy of key
atomicity
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名一种新的复合型电子支付协议及其形式化分析
被引量：1
- 2
-
-
作者
丁月
汪学明
-
机构
贵州大学计算机科学与技术学院
-
出处
《计算机应用与软件》
北大核心
2018年第6期319-324,共6页
-
文摘
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支付协议。新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步提高了支付子协议的完整性和保密性。通过SVO逻辑和Kailar逻辑形式化分析验证可知,新的复合电子支付协议满足双向认证性、可追究性和公平性。
-
关键词
复合型电子支付协议
双向认证
SVO逻辑
KAILAR逻辑
形式化分析
-
Keywords
compound electronic payment protocol
Two-way certification SVO
logic Kailar logic
Folanal analysis
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
