期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于离线可信第三方的电子支付协议公平性分析 被引量:4
1
作者 田树华 陈立佳 李建茹 《计算机应用》 CSCD 北大核心 2009年第7期1839-1843,共5页
基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的... 基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。 展开更多
关键词 电子支付协议 离线可信第三 公平性 串空间
在线阅读 下载PDF
基于条件可信第三方的不可否认协议
2
作者 沈炜 陈纯 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2004年第1期35-38,共4页
扩展半可信第三方的思想,提出"条件可信第三方"的概念,即任意第三方在满足限定条件的前提下,要么是可信的,要么行为是可验证的.同时,结合离线第三方的思想,提出基于离线条件可信第三方的不可否认协议.相比于原有协议,新的协... 扩展半可信第三方的思想,提出"条件可信第三方"的概念,即任意第三方在满足限定条件的前提下,要么是可信的,要么行为是可验证的.同时,结合离线第三方的思想,提出基于离线条件可信第三方的不可否认协议.相比于原有协议,新的协议进一步减少了对可信第三方的依赖. 展开更多
关键词 条件可信第三 不可否认协议 安全协议 离线第三方 网络环境
在线阅读 下载PDF
离线公平交换协议的子协议分析 被引量:1
3
作者 李向东 陈莉 王清贤 《计算机工程》 CAS CSCD 北大核心 2010年第3期7-9,12,共4页
离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题... 离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题,给出协议的改进方案,提出设计两方和多方离线公平交换协议的建议。 展开更多
关键词 公平交换 子协议 串空间 离线可信第三 协议设计
在线阅读 下载PDF
P2P环境下去中心化的多方公平交换协议
4
作者 何频 陈明 吴开贵 《计算机应用》 CSCD 北大核心 2009年第10期2606-2610,共5页
针对P2P环境下有价数字资源的多方交换存在资源认证和交换对象协商等问题,提出一种去中心化的多方公平交换协议。协议采用交叉验证理论进行资源的认证和验证,采用交换意向的单向发布机制和新型单向网状交换结构,较好地解决了多方交换对... 针对P2P环境下有价数字资源的多方交换存在资源认证和交换对象协商等问题,提出一种去中心化的多方公平交换协议。协议采用交叉验证理论进行资源的认证和验证,采用交换意向的单向发布机制和新型单向网状交换结构,较好地解决了多方交换对象协商问题,实现了交易拓扑的保密性。最后证明了在交叉验证理论可证明正确的前提下,协议具有公平性。 展开更多
关键词 对等网络 公平交换 离线半可信第三 交叉验证
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部