导读:本文包含了基于知识的安全协议论文开题报告文献综述及选题提纲参考文献，主要关键词:安全协议验证,知识理论,SPV逻辑,对称密钥交换协议
基于知识的安全协议论文文献综述
罗方跃[1]（2006）在《基于知识理论的安全协议形式化验证方法的应用》一文中研究指出安全协议验证是保证网络安全的重要技术之一，本文以导师苏开乐教授提出的一种新的基于知识理论的安全协议形式化验证逻辑(本文称其为SPV逻辑)为基础。选取一系列具有代表性的对称密钥交换协议，应用该逻辑对其进行形式化验证，从而研究该逻辑对共享密钥和动态对称密钥加密信息处理的正确性和足够完备性。 文中给出密钥交换认证协议Kao Chow和密钥交换协议Yahalom的较为详细的形式化验证过程，通过严格的数学推导证明了协议的认证性等安全性质。从而也进一步证明SPV逻辑在对称密钥交换协议中应用的可靠性。并且，在Kao Chow协议的形式化验证过程中，我们发现传输信息的冗余，并在不影响协议安全性质的前提下将协议简化；在Yahalom协议验证过程中我们发现该验证方法公理系统中最为重要的(n，1)-secrecy定理不完备，使得协议本身满足的安全性质无法得到证明。从而发现(n，1)-secrecy定理定义的一个缺陷，并在导师的指导下将定理修正。 为进一步考察SPV逻辑对对称密钥交换协议的处理能力及SPV工具开发的正确性，我们应用SPV工具对大量的密钥交换协议进行了形式化验证。验证结果表明SPV工具可以处理复杂协议及协议的诸如二重规范等复杂安全规范。并且，验证过程中，由于Kao Chow的工具验证结果与手工推导出现不一致性，从而发现SPV工具开发存在漏洞。(本文来源于《中山大学》期刊2006-06-06）
顾永跟,傅育熙[2]（2006）在《基于进程演算和知识推理的安全协议形式化分析》一文中研究指出安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题.进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型.基于此模型,形式化地定义了一些安全性质,给出了一个实例研究,并指出了进一步完善此模型的研究方向.(本文来源于《计算机研究与发展》期刊2006年05期）
基于知识的安全协议论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题.进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型.基于此模型,形式化地定义了一些安全性质,给出了一个实例研究,并指出了进一步完善此模型的研究方向.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
基于知识的安全协议论文参考文献
[1].罗方跃.基于知识理论的安全协议形式化验证方法的应用[D].中山大学.2006
[2].顾永跟,傅育熙.基于进程演算和知识推理的安全协议形式化分析[J].计算机研究与发展.2006