导读:本文包含了多方不可否认协议论文开题报告文献综述及选题提纲参考文献，主要关键词:多方不可否认协议,区块链,无TTP,不可否认性
多方不可否认协议论文文献综述
苑博奥,刘军,李戈[1]（2018）在《基于区块链的公平多方不可否认协议》一文中研究指出多方不可否认协议有着广泛的应用场景,诸如多方电子支付和视频会议等.在这些应用场景中,各参与方互不信任,有着事后否认曾参与协议的可能,多方不可否认协议便是为解决这一问题而产生的一类密码协议.为实现协议的公平性,现有的多方不可否认协议都依赖于可信第叁方TTP的参与,中心化的TTP成为了协议的性能瓶颈,同时,在现实中很难保证TTP的完全可信,给协议带来了潜在的安全威胁.在区块链中,所有的节点通过共识算法共同维护一个公开链结构,提供了类似去中心化TTP的功能,有助于解决由中心化TTP带来的性能和安全问题.本文基于公开链结构,提出一个完全无TTP参与的多方不可否认协议,并用形式化分析方法证明了协议满足不可否认性、公平性和时限性.与经典协议进行对比,所提协议在各项指标中均显示了良好的性能.(本文来源于《密码学报》期刊2018年05期）
苑博奥,刘军[2]（2018）在《一种可靠的多方不可否认协议的逻辑分析方法》一文中研究指出多方不可否认协议需要满足不可否认性、公平性和时限性叁大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,分析结果不可靠。首先,综合比较现有的分析技术,选定SVO逻辑进行扩展,显式引入时间因素,给出对应的语法定义和时间演算公理。然后,对改进逻辑的语义模型进行介绍,并证明了逻辑系统的可靠性,使得改进后的逻辑系统支持对多方不可否认协议叁大安全目标的分析。最后,选取一个典型的多方不可否认协议,分别对其时限性和公平性进行分析,发现了其中存在的时限性和公平性缺陷,并给出了对应的攻击方法。其中,公平性缺陷是首次被发现。(本文来源于《计算机科学》期刊2018年07期）
陈勇,鲁龙,曾晟珂,何明星[3]（2016）在《适用于多方协议的可否认认证》一文中研究指出可否认认证不仅可以像数字签名那样实现消息认证,且非公开可验证性使其可以满足许多签名不能满足的需求,如隐私保护等。研究了如何在多方协议中实现完全可否认认证,利用承诺方案提出了一个适用于多方协议的可否认认证。该方案作为一种一般化的方法,能够为大多数多方协议实现可否认认证,如可否认的群密钥协商协议等,形式化了方案的敌手模型并严格证明了方案的安全性,为研究可否认认证提供了一种新思路。(本文来源于《网络与信息安全学报》期刊2016年06期）
汪学明,翁立晨[4]（2011）在《基于ATL逻辑的公平多方不可否认协议的分析与改进》一文中研究指出为了克服传统时序逻辑以封闭系统方式分析协议的缺点,引入一种基于博弈的ATL逻辑形式化分析方法。利用该方法分析了一个公平的多方不可否认协议,发现该协议存在不满足抗合谋性的缺陷,并提出了两种改进方案,使用Mocha模型检测工具以ATL公式和Invariant Checking相结合的方式对两种改进方案进行有效验证,结果表明改进后的协议满足不可否认性和抗合谋性。(本文来源于《信息安全与技术》期刊2011年09期）
王远敏[5]（2010）在《无可信第叁方的多方不可否认协议的改进》一文中研究指出多方不可否认协议是允许在消息传递中出现多于两方的参与者进行消息交换的网络安全协议。在多方不可否认协议中重要的任务是解决消息交换的公平性与安全性,目前出现了许多基于各种方案的处理办法。作者在对其中具有代表性的一种无可信第叁方的多方不可否认协议进行研究的基础上,对其进行了新的改进,并使用SVO逻辑对新协议进行形式化分析论证。(本文来源于《产业与科技论坛》期刊2010年05期）
王远敏[6]（2009）在《基于SVO逻辑的多方不可否认协议的形式化分析与研究》一文中研究指出近年来,随着网络的普及及应用的推广,电子商务的使用得到了极大的发展,其可实现的功能也越来越全面,包括网络购物、网络支付、网络银行、电子订货等等。网络密码协议是保证电子商务公平性、安全性的有效技术,其中多方不可否认协议适用于当参与方多于两人时的网络交易,这也是电子商务不断发展的趋势和要求。多方不可否认协议分为含在线可信第叁方、离线可信第叁方及无可信·第叁方叁类,目前均出现了一些具有代表性的各类协议。本文选取了一个含离线可信第叁方协议与一个无可信第叁方协议,从公平性、协议消息交换方法及抵御攻击方面对协议进行改进并使用SVO逻辑和MOCHA模型检测工具对改进后的协议进行验证。多数多方不可否认协议都是通过SVO逻辑来进行形式化的分析,SVO逻辑是BAN类逻辑中用于形式化分析网络安全协议的可靠工具之一,它拥有推理协议属性的所有公理和规则,与GNY、AT、VO逻辑相比更为简单,表达的含义更为准确,成为继BAN逻辑之后,分析协议安全性的一个比较完善的形式化验证方法。原始SVO逻辑在论证消息的发送时间点上存在不足,因此本文引用了针对相关时间论证的扩展SVO逻辑对协议进行验证和改进。同时,本文研究了模型检测工具的CMOCHA版本,从安装方法、常用参数及模型建立方法等方面论述了MOCHA工具在协议验证中的应用,最后使用CMOCHA对改进后的协议进行模型验证。本文具体的工作如下：(1)分析多方不可否认协议及其发展现状,并对多方不可否认协议涉及的各种加密技术进行研究。(2)分析多方不可否认协议在公平性、安全性、保密性及抵御重放攻击性方面的要求。选取了一个含离线可信第叁方的多方不可否认协议和一个无可信第叁方的多方不可否认协议,对其进行改进,以满足多方不可否认协议的各方面要求。(3)研究形式化分析工具SVO逻辑的语义、语法规则及推导方法,SVO逻辑在时间点论证方面的扩展语法规则,并使用SVO逻辑对改进后的两个协议进行形式化分析论证。(4)研究模型检测工具MOCHA的安装配置、常用参数命令及使用方法。在MOCHA的两个版本中,CMOCHA版本可以使用ATL时序逻辑语言建立协议模型对协议进行检测。本文研究了CMOCHA工具的安装和使用,并对改进后的两个协议进行建模和验证。(本文来源于《贵州大学》期刊2009-12-01）
韩志耕,罗军舟[7]（2009）在《多方不可否认协议时限性分析与改进》一文中研究指出时限性是实用的不可否认协议必须具备的一个基本性质.形式化分析典型的多方不可否认协议时发现其存在未公布的时限性缺陷.本文通过向协议消息中添加额外时间控制信息和改变协议交互步骤的办法对该缺陷进行了改进.(本文来源于《电子学报》期刊2009年02期）
韩志耕,罗军舟[8]（2008）在《一个公平的多方不可否认协议》一文中研究指出实用的多方不可否认协议必须具备存活性、公平性、时限性、无排斥性和保密性.文中指出现有典型协议,如KM,OZCL和OZL均无法提供时限性和无排斥性,而且易遭受服务失效等攻击,致使它们不能成为实用的协议.为此,给出一个新协议NKM,其基于无需全局时钟同步机制支持的时间段概念实现时限性,借助双重群加密技术确保具备保密性的同时不丢失无排斥性,利用证据链技术既可高效维护协议证据,又能避开服务失效和重放攻击;同时还形式化验证了该协议的安全性,并对协议部署时将牵涉到的安全问题进行了考虑.与现有协议相比,NKM在安全性和性能方面均存在优势,可成为实用的协议.(本文来源于《计算机学报》期刊2008年10期）
王远敏,汪学明[9]（2008）在《一种改进的含离线可信第叁方多方不可否认协议》一文中研究指出多方不可否认协议是允许在消息传递中出现多于两方的参与者进行消息交换的网络安全协议。在多方不可否认协议中重要的任务是解决消息交换的公平性与安全性,目前出现了许多基于各种方案的处理办法。作者在对其中具有代表性的一种含离线可信第叁方的多方不可否认协议进行研究的基础上,对其进行了新的改进,并使用SVO逻辑对新协议进行形式化分析论证。(本文来源于《逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集》期刊2008-06-30）
彭绪富,石曙东[10]（2007）在《多方不可否认互签算法协议设计》一文中研究指出给出了数字签名所要完成的事务,分析并给出了网络中信息流转的6种模式,详细设计了多用户信息签名算法、验证算法及不可否认互签的算法协议,并对算法协议中的相关参数和算法运算复杂度进行了分析。解决了电子政务、电子商务及协议订立中的多方数字签名与验证问题。(本文来源于《第四届中国软件工程大会论文集》期刊2007-06-16）
多方不可否认协议论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
多方不可否认协议需要满足不可否认性、公平性和时限性叁大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,分析结果不可靠。首先,综合比较现有的分析技术,选定SVO逻辑进行扩展,显式引入时间因素,给出对应的语法定义和时间演算公理。然后,对改进逻辑的语义模型进行介绍,并证明了逻辑系统的可靠性,使得改进后的逻辑系统支持对多方不可否认协议叁大安全目标的分析。最后,选取一个典型的多方不可否认协议,分别对其时限性和公平性进行分析,发现了其中存在的时限性和公平性缺陷,并给出了对应的攻击方法。其中,公平性缺陷是首次被发现。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
多方不可否认协议论文参考文献
[1].苑博奥,刘军,李戈.基于区块链的公平多方不可否认协议[J].密码学报.2018
[2].苑博奥,刘军.一种可靠的多方不可否认协议的逻辑分析方法[J].计算机科学.2018
[3].陈勇,鲁龙,曾晟珂,何明星.适用于多方协议的可否认认证[J].网络与信息安全学报.2016
[4].汪学明,翁立晨.基于ATL逻辑的公平多方不可否认协议的分析与改进[J].信息安全与技术.2011
[5].王远敏.无可信第叁方的多方不可否认协议的改进[J].产业与科技论坛.2010
[6].王远敏.基于SVO逻辑的多方不可否认协议的形式化分析与研究[D].贵州大学.2009
[7].韩志耕,罗军舟.多方不可否认协议时限性分析与改进[J].电子学报.2009
[8].韩志耕,罗军舟.一个公平的多方不可否认协议[J].计算机学报.2008
[9].王远敏,汪学明.一种改进的含离线可信第叁方多方不可否认协议[C].逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集.2008
[10].彭绪富,石曙东.多方不可否认互签算法协议设计[C].第四届中国软件工程大会论文集.2007