导读:本文包含了公平非否认协议论文开题报告文献综述及选题提纲参考文献，主要关键词:离线TTP,公平非否认协议,公平性,非否认性
公平非否认协议论文文献综述
刘冬梅,卿斯汉,马恒太,李树仁[1]（2011）在《一种离线TTP公平非否认协议的安全性分析方法》一文中研究指出给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.(本文来源于《计算机研究与发展》期刊2011年04期）
杨姗媛,朱建明[2]（2010）在《ZG离线TTP公平非否认协议的一种新改进》一文中研究指出针对Kremer协议中产生的争端子协议被滥用的问题,提出了一种新的改进方案。该方案在ZG协议的基础上加入时限量T0,并对其安全性及性能进行分析。结果表明,该方案具有公平性非否认性、能防止消息延迟攻击,克服争端子协议被滥用的特点,且协议简单,执行效率高。(本文来源于《计算机应用研究》期刊2010年12期）
刘冬梅,卿斯汉[3]（2009）在《一种提供证据一致性的离线TTP多方公平非否认协议》一文中研究指出提出了一种可以提供证据一致性的基于离线TTP的多方公平非否认协议,和其他学者提出的多方公平非否认协议相比,文中的方案具有证据一致性的特点,即协议不管是否通过TTP执行成功,参与协议的主体获得的证据是相同的,同时协议能够提供非否认性、强公平性、具有消息私密性和抗合谋攻击的特性。(本文来源于《中国通信》期刊2009年04期）
张曼君,裴昌幸[4]（2009）在《安全的公平非否认协议研究》一文中研究指出本文基于B.Meng协议提出了一个安全的、满足公平性及不可否认性的电子交易协议,该协议保护了交易信息的隐私性,提高了处理效率。协议所涉及的可信第叁方是离线的,所以减少了对第叁方的依赖,提高了安全性,避免了瓶颈问题的产生。(本文来源于《电信科学》期刊2009年12期）
刘冬梅,卿斯汉,李鹏飞,李尚杰[5]（2009）在《ZG离线TTP公平非否认协议的安全性分析及改进》一文中研究指出对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景,能够保证非否认性和公平性的同时,避免消息延迟攻击和子协议被滥用。第一种方案适合于对协议效率要求比较高,而且协议被滥用不会影响参与协议主体的利益的情况;第二种方案可用于需要防止子协议被滥用的情况。(本文来源于《通信学报》期刊2009年S2期）
雷新锋,刘军,肖军模[6]（2009）在《对一种公平非否认协议的新改进》一文中研究指出Zhou-Gollmann协议是一种公平非否认协议,近年来得到广泛讨论。Kim发现该协议在时限公平性方面存在缺陷,针对该缺陷提出一种改进的协议,但其改进方法高度依赖于网络时钟的同步。通过详细分析,发现在缺乏时钟同步时Kim的改进协议也可导致不公平。针对此问题,提出一种新的改进方案。新的改进消除了协议对时钟同步的依赖性,保持了协议的公平非否认性,且不会降低协议的效率。(本文来源于《计算机科学》期刊2009年08期）
刘春英,龙士工[7]（2009）在《一种新的公平非否认协议及其安全性分析》一文中研究指出本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协议的正确性。(本文来源于《计算机与信息技术》期刊2009年Z1期）
潘菊,朱建明[8]（2009）在《Kim公平非否认协议的改进》一文中研究指出在介绍Kim公平非否认协议的基础上,分析了LSG协议,指出协议中存在因消息重放而导致不公平的情况,提出了一个改进后的协议,并用新的Kailar逻辑对新协议的公平性和可追究性进行了分析。(本文来源于《计算机工程与应用》期刊2009年04期）
邓子宽[9]（2007）在《公平非否认协议分析方法的研究》一文中研究指出公平非否认协议可以防止通信主体对通信事件的抵赖行为并保证通信各方始终处于公平地位,是安全电子商务协议的基础。由于公平非否认协议的重要性,对它的各项安全性质进行分析是近十年来安全领域的研究热点。目前,国内外已提出了一些适用于分析公平非否认协议的形式化方法,这些方法主要分为叁类:基于知识与信念的逻辑证明方法;基于模型化技术的状态搜索方法;基于定理证明的方法。这些分析方法或工具往往能分析公平非否认协议是否满足某个或某些性质,但目前还没有一种可以同时分析公平非否认协议非否认性、公平性及时限性的方法。鉴于安全协议各个安全性质的微妙相关性,单独分析某个或某些性质是不科学的。而在公平非否认协议中,非否认性、公平性和时限性是叁个紧密相关和互相影响的性质,分析公平非否认协议性能时,忽略对任何一个性质的考虑,都可能使分析结果变得毫无意义。本文针对上述问题,通过深入研究公平非否认协议的相关安全性质的本质,在总结现有分析方法优缺点的基础上,提出了一种可同时分析公平非否认协议非否认性、公平性和时限性的方法。主要工作如下:1.深入研究了公平非否认协议的非否认性、公平性与时限性叁个安全性质的本质。分析了目前应用于公平非否认协议分析的若干主要方法的原理、优缺点和应用范围。2.提出了一种基于可证性逻辑的,能同时分析非否认性、公平性与时限性的形式化分析方法。新方法对主体引入限时能力概念,使用“逐步断开,其余主体继续”的分析方案,并假设了一个攻击者能力集合,能全面地分析非否认性、公平性和时限性。使用新方法分析了若干典型的公平非否认协议,找到了一些已知的和未知的漏洞,验证了新方法的有效性。3.使用新方法验证了SET协议中的购买流程协议,有效地分析了该协议的非否认性、公平性和时限性。(本文来源于《电子科技大学》期刊2007-04-24）
文静华,田建强,李祥[10]（2006）在《一个新的公平非否认协议》一文中研究指出在安全数据传输协议中,发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1协议缺陷的基础上,提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证,新的协议满足非否认性和公平性原则,可广泛应用于电子邮件、电子合同等电子商务应用中。(本文来源于《计算机工程》期刊2006年02期）
公平非否认协议论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对Kremer协议中产生的争端子协议被滥用的问题,提出了一种新的改进方案。该方案在ZG协议的基础上加入时限量T0,并对其安全性及性能进行分析。结果表明,该方案具有公平性非否认性、能防止消息延迟攻击,克服争端子协议被滥用的特点,且协议简单,执行效率高。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
公平非否认协议论文参考文献
[1].刘冬梅,卿斯汉,马恒太,李树仁.一种离线TTP公平非否认协议的安全性分析方法[J].计算机研究与发展.2011
[2].杨姗媛,朱建明.ZG离线TTP公平非否认协议的一种新改进[J].计算机应用研究.2010
[3].刘冬梅,卿斯汉.一种提供证据一致性的离线TTP多方公平非否认协议[J].中国通信.2009
[4].张曼君,裴昌幸.安全的公平非否认协议研究[J].电信科学.2009
[5].刘冬梅,卿斯汉,李鹏飞,李尚杰.ZG离线TTP公平非否认协议的安全性分析及改进[J].通信学报.2009
[6].雷新锋,刘军,肖军模.对一种公平非否认协议的新改进[J].计算机科学.2009
[7].刘春英,龙士工.一种新的公平非否认协议及其安全性分析[J].计算机与信息技术.2009
[8].潘菊,朱建明.Kim公平非否认协议的改进[J].计算机工程与应用.2009
[9].邓子宽.公平非否认协议分析方法的研究[D].电子科技大学.2007
[10].文静华,田建强,李祥.一个新的公平非否认协议[J].计算机工程.2006