公平交换

作品数：126被引量：150H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：王彩芬卿斯汉张振峰周永彬辛向军更多>>
相关机构：西安电子科技大学中国科学院软件研究所电子科技大学北京邮电大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于ATL的公平交换协议的形式化验证被引量：3
《计算机工程与应用》2015年第19期32-36,共5页李群 陈清亮 
国家自然科学基金(No.61003056;No.61272415);国家重点基础研究发展规划(973)(No.2010CB328103)
如何对电子商务协议进行分析与验证一直是研究的热点,基于ATL(交替时态逻辑)对电子商务协议中的公平交换协议(Fair Exchange Protocols)进行形式化分析与验证,并选取了其中的一个电子合同签署协议进行形式化验证。用ATL语言来形式化描...
关键词：形式化验证 交替时态逻辑(ATL) MOCHA工具 公平交换协议 
一种基于恶意主体的通用公平交换协议
《解放军理工大学学报（自然科学版）》2011年第1期19-24,共6页雷新锋 范晓健 马文 刘军 肖军模 
国家863计划资助项目(2009AA01Z414);国家973计划资助项目(2007CB311202);国家自然科学基金资助项目(60873260;60903210);江苏省自然科学基金资助项目(BK2008090)
在公平交换协议中,无可信第三方的协议不能实现较充分的公平性,离线可信第三方协议在恶意主体的情况下仍需第三方的介入,且效率大大降低。另外,现有的公平交换协议大多针对特定项的交换,通用性不强。针对以上不足,采用低负荷在线第三方...
关键词：公平交换协议 公平性 不可否认性 保密性 时限性 
可转换认证加密的安全邮件协议被引量：1
《电子科技大学学报》2010年第4期598-602,622,共6页崔军 刘琦 张振涛 李忠献 杨义先 
国家973计划(2007CB310704);国家863计划(2007AA01Z430);国家自然科学基金(60821001)
通过对电子商务中不可否认公平交换协议的运行流程进行了研究,论证了基于第三方的不可否认公平交换协议至少需要运行4步骤,进而指出现有一个协议实质上是需要运行4步骤的,而不仅仅是运行3步骤。依据安全协议与密码系统分开设计的原则,...
关键词：可转换的认证加密 电子商务 公平交换 形式化方法 不可否认 
一个公平有效的电子支付协议被引量：1
《计算机工程》2006年第22期34-36,共3页庞辽军 李恕海 王育民 
国家"973"计划基金资助项目(G1999035805);"十五"军事通信技术预研基金资助项目
电子现金体制的最主要内容是提供支付双方相同的公平性,而现有方案几乎都不能提供完全的公平性。该文设计了一个新的电子支付协议,能够为支付过程提供完全的公平性。通过分析,该协议具有更好的不可否认性、公平性、保密性、完整性和认证...
关键词：电子商务 支付协议 公平交换 完全公平性 
多方公平交换协议的形式化分析和设计
《中国科学（E辑）》2006年第6期598-616,共19页卿斯汉 李改成 
北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(G1999035802)资助项目
通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型,规范了能够更严格地反映公平交换协议内在要求的多种安全需求,并对它们进行了细粒度的分解.基于...
关键词：公平交换 逻辑协议 形式化模型 安全需求 
公平交换协议的一个形式化模型被引量：9
《中国科学（E辑）》2005年第2期161-172,共12页卿斯汉 李改成 
北京市自然科学基金(批准号: 4052016);国家自然科学基金(批准号: 60083007);国家重点基础研究发展规划(973)(批准号: G1999035802)资助项目
基于对现有公平交换协议的研究, 使用求精过程建立了精确的形式化结构模型, 在这一过程中, 使用不可靠信道模拟攻击行为. 模型首次给出了交换项的形式化定义, 提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求. 为...
关键词：公平交换协议 形式化模型 局部时序关系 安全目标 电子商务 安全技术 网络安全 
基于RSA签名的优化公平交换协议被引量：22
《软件学报》2004年第7期1049-1055,共7页周永彬 张振峰 卿斯汉 季庆光 
国家自然科学基金;国家重点基础研究发展规划(973)~~
公平性是电子商务协议的基本安全要求.RSA是应用最为广泛的公钥密码体制之一.公平交换协议可以使得参与交换的双方以公平的方式交换信息,这样,要么任何一方都可以得到对方的信息,要么双方都得不到对方的信息.分析了现有的公平交换协议...
关键词：公平交换协议 RSA密码体制 可验证的、加密的签名 信息安全 
基于RSA密码体制构造一类新型的CEMBS被引量：3
《计算机研究与发展》2004年第3期420-425,共6页周永彬 张振峰 卿斯汉 季庆光 袁秀梅 
国家"九七三"重点基础研究发展规划基金项目 (G19990 3 5 80 2 ;G19990 3 5 810 ) ;国家自然科学基金项目 ( 60 0 83 0 0 7)
公平性是电子商务协议的基本安全要求之一 CEMBS是一种重要的用于构造公平交换协议的密码部件 分析了现有的CEMBS构造方法中存在的问题 ,首次提出了一种基于RSA密码体制的简洁、高效、安全的CEMBS构造方法 在此基础上 。
关键词：CEMBS RSA密码体制 公平交换协议 信息安全 
无强迫的最优合同签署方案被引量：3
《电子学报》2004年第3期404-407,共4页陈晓峰 王继林 王育民 
973国家重大项目 (No.G1 9990 358 0 4 )
合同签署是一项重要而频繁的商务活动 .现有的合同签署方案都没有解决“强迫签署”的问题 :B强迫A签署一项A不愿签署的合同 .本文首次引入了“强迫签署”的概念 ,然后利用XTR公钥密码体制中共轭元素的性质 ,提出了一种无强迫的最优合同...
关键词：XTR公钥密码体制 最优合同签署 公平交换 强迫签署 通信安全 
基于离散对数的有向签名方案及其应用被引量：5
《西安电子科技大学学报》2002年第4期510-512,526,共4页张彰 王培春 肖国镇 
国家自然科学基金资助项目 (60 0 73 0 5 1) ;国家重点基础研究发展规划项目 (97 3项目 ) (G19990 3 5 80 4)
有向签名方案要求签名的验证必须得到接收者或签名者的合作 .其目的是为了保护接收者的隐私 .文中提出一个基于离散对数的有向签名方案 ,该方案中伪造签名的困难性等价于伪造ElGamal签名 .
关键词：有向签名 离散对称 零知识证明 公平交换协议 签名者 数字签名 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部