云南高校图书馆联盟文献共享服务平台- 公平交换协议

公平交换协议: 作品数：54被引量：109H指数：5; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：王彩芬卿斯汉张振峰周永彬王芷玲更多>>; 相关机构：西安电子科技大学中国科学院软件研究所中国科学院研究生院贵州大学更多>>; 相关期刊：《扬州大学学报（自然科学版）》《电子科技大学学报》《计算机工程与应用》《电子学报》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划甘肃省自然科学基金更多>>

公平交换协议的信道可信度形式化验证方法被引量：2: 《小型微型计算机系统》2018年第2期240-244,共5页杨晋吉申涵瑞陈清亮; 国家自然科学基金项目(61272066;61572234)资助; 公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为...; 关键词：形式化验证信道可信度公平交换协议概率模型检测 PRISM

一种基于无证书短签名的公平交换协议: 《福建电脑》2016年第2期6-8,11,共4页胡斌王兴芬; 北京市教委科技重点项目"电子商务平台交易纠纷规避的若干支撑技术研究"(KZ201411232036)资助; 本文提出一种基于在线可信第三方的公平交换协议。公平交换协议是电子商务活动中的一种非常重要的安全协议。在现代电子商务活动中公平交换协议不仅要保证安全、公平而且需要满足计算速度快,通信代价小的需求。无证书密码学减少了对证...; 关键词：公平交换协议电子商务无证书短签名公平性高效

一个基于RSA盲签名的高效公平电子交换协议: 《长沙大学学报》2015年第5期40-41,共2页王云芦殿军; 春晖计划(批准号:教外司留[2014]1310号)资助项目;青海省科技创新能力促进计划项目(批准号:2015-ZJ-724); 由于电子商务的广泛使用和普及,使得互不信任的两方或多方要依赖Internet传递信息.公平交换协议作为电子商务的关键密码技术,至关重要.通过对现有的公平交换协议进行研究与分类,发现部分现有的公平交换协议需要第三方介入.在RSA盲签名...; 关键词：电子商务公平交换协议 RSA盲签名

基于ATL的公平交换协议的形式化验证被引量：3: 《计算机工程与应用》2015年第19期32-36,共5页李群陈清亮; 国家自然科学基金(No.61003056;No.61272415);国家重点基础研究发展规划(973)(No.2010CB328103); 如何对电子商务协议进行分析与验证一直是研究的热点,基于ATL(交替时态逻辑)对电子商务协议中的公平交换协议(Fair Exchange Protocols)进行形式化分析与验证,并选取了其中的一个电子合同签署协议进行形式化验证。用ATL语言来形式化描...; 关键词：形式化验证交替时态逻辑(ATL) MOCHA工具公平交换协议

A time sequence protocol to achieve the effect of fair exchange without trusted third party被引量：3: 《Chinese Science Bulletin》2014年第7期699-702,共4页He Du Jian Wang Yanan Liu; supported by Funding of Jiangsu Innovation Program for Graduate Education(CXZZ12_0161);the Fundamental Research Funds for the Central Universities;funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions ‘‘Internet of Things and Control Technology’’; A fair exchange protocol allows two parties to exchange items in a fair way, such that either both parties obtain the other's item or neither party does. In this paper, we propose a time sequence protocol for exchangi...; 关键词：公平交换协议时间序列可信第三方代理签名数字签名信息发布 TTP 参与者

基于极大熵原理的理性公平交换协议被引量：4: 《计算机应用研究》2014年第2期563-567,共5页吕桢彭长根刘海刘荣飞; 国家自然科学基金资助项目(61262073;60963023);贵州省自然科学基金资助项目(20092113);贵州省高层次人才科研条件特助经费项目(TZJF-2008-33);贵州大学研究生创新基金资助项目(研理工2013018;研理工2013017);贵州大学引进人才科研项目贵大人基合制(2007040;2012024); 鉴于理性交换协议是一个动态博弈模型,在完全不完美动态博弈中,力图用极大熵原理来解决理性参与者的策略行为推断问题。扩展了一个基于信息熵的理性交换协议模型,通过引入期望收益函数和期望均衡的方法,给出理性交换协议的公平性描述;...; 关键词：最大熵原理信息熵博弈论理性交换协议公平性期望均衡

构造适合云的公平交换协议被引量：1: 《通信学报》2013年第3期111-118,共8页蓝才会王彩芬; 国家自然科学基金资助项目(61163038;61063041);甘肃省自然科学基金资助项目(3ZS051-A25-042)~~; 针对云计算中数据不是存储在本地而是以密文形式托管到"云端",导致已有的公平交换协议不能很好适应云环境这一问题,构造了一个可在随机预言模型下证明安全的匿名条件的代理重加密方案,并在其基础上设计了一个能运用于云环境交换数据的...; 关键词：云计算公平交换协议条件代理重加密选择密文安全

数字签名的一个公平交换协议: 《现代电子技术》2011年第21期119-121,共3页严亚俊; 西安邮电学院中青年科研基金资助项目(ZL2008-14);陕西省教育厅自然专项科研基金项目(2010JK815); 给出了一个应用G.Ateniese的可验证加密的公平交换协议,即构成了在因特网上公平交换数字签名的双方之间的一个协议。通过该协议,一方对消息的有效签名进行加密,并随后向另一方证明他得到的密文确实包含该签名,其安全性基于离散对数问题。; 关键词：数字签名可验证加密公平交换安全性单一性

一种无证书的公平交换协议被引量：2: 《贵州大学学报（自然科学版）》2011年第3期75-77,共3页樊玫玫冯蕾彭长根; 国家自然科学基金(60963023);贵阳市科技局大学生创业项目(200815-6);贵州大学青年基金(2009019); 公平交换协议是电子商务活动的一种重要安全协议。基于无证书密码体制,首先设计了一种无证书的可验证加密签名方案;然后基于该可验证加密签名方案构建了一种无证书的公平交换协议。协议降低了密钥托管和证书管理的开销,且满足有效性、...; 关键词：无证书密码体制双线性对可验证加密签名公平交换

公平交换协议形式逻辑被引量：2: 《软件学报》2011年第3期509-521,共13页陈明吴开贵吴长泽徐洁吴中福; 国家自然科学基金(90818028);国家科技支撑计划(2008BAH37B04); 在深入分析公平交换协议现有研究和各项安全属性的基础上,由于信任逻辑方法难以分析乐观公平交换协议的公平性和时限性,提出一种公平交换协议形式化模型和推理逻辑.新模型将信道错误转化为攻击行为,将参与者分为诚实与不诚实两类,并将...; 关键词：异步通信公平交换形式化分析推理逻辑模型检查

公平交换协议