-
题名基于离线可信第三方的电子支付协议公平性分析
被引量:4
- 1
-
-
作者
田树华
陈立佳
李建茹
-
机构
唐山学院信息工程系
-
出处
《计算机应用》
CSCD
北大核心
2009年第7期1839-1843,共5页
-
基金
河北省自然科学基金资助项目(F2007000682)
-
文摘
基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。
-
关键词
电子支付协议
离线可信第三方
公平性
串空间
-
Keywords
electronic payment protocol
offline TTP
fairness
strand space
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名离线公平交换协议的子协议分析
被引量:1
- 2
-
-
作者
李向东
陈莉
王清贤
-
机构
信息工程大学信息工程学院
郑州大学西亚斯国际学院
河南财经学院计算中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第3期7-9,12,共4页
-
基金
国家"863"计划基金资助项目(2007AA01Z471)
河南省科技攻关基金资助重点项目(072102210029)
河南省科技攻关基金资助项目(0624260017)
-
文摘
离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题,给出协议的改进方案,提出设计两方和多方离线公平交换协议的建议。
-
关键词
公平交换
子协议
串空间
离线可信第三方
协议设计
-
Keywords
fair exchange
sub-protocol
strand space
offiine Trusted Third Party(TTP)
protocol design
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名P2P环境下去中心化的多方公平交换协议
- 3
-
-
作者
何频
陈明
吴开贵
-
机构
重庆大学计算机学院
-
出处
《计算机应用》
CSCD
北大核心
2009年第10期2606-2610,共5页
-
基金
国家自然科学基金资助项目(90818028)
-
文摘
针对P2P环境下有价数字资源的多方交换存在资源认证和交换对象协商等问题,提出一种去中心化的多方公平交换协议。协议采用交叉验证理论进行资源的认证和验证,采用交换意向的单向发布机制和新型单向网状交换结构,较好地解决了多方交换对象协商问题,实现了交易拓扑的保密性。最后证明了在交叉验证理论可证明正确的前提下,协议具有公平性。
-
关键词
对等网络
多方公平交换
离线半可信第三方
交叉验证
-
Keywords
Peer-to-Peer (P2P)
multi-party fair exchange
off-line semi-trusted third party
cross validation
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-