导读:本文包含了密码协议攻击论文开题报告文献综述及选题提纲参考文献，主要关键词:CPN,密码协议,攻击者模型,NS协议
密码协议攻击论文文献综述
白云莉,叶新铭[1]（2014）在《一种改进的基于CPN的密码协议攻击者模型》一文中研究指出从目前的研究成果来看,基于CPN(Colored Petri Nets,着色Petri网)的密码协议形式化建模及其分析方法主要采用传统的Dolev-Yao攻击者模型。针对该攻击者模型在验证协议中存在的不足,提出一种改进的基于CPN的攻击者模型,利用该模型对具体的NS协议进行建模和分析,实验证明,对模型的改进完善了基于CPN的密码协议形式化建模和分析方法。(本文来源于《内蒙古农业大学学报(自然科学版)》期刊2014年05期）
周志勇[2]（2009）在《密码协议攻击规划理论及算法研究》一文中研究指出本文基于密码协议的运行特点,采用经典规划理论,分别对密码协议形式化模型、密码协议攻击规划机制和规划算法进行了系统研究。论文的工作主要包括以下几点:(1)相关研究现状分析:踪述了当前密码协议形式化分析方法、智能规划理论及其在密码协议形式化分析领域的研究成果,分析目前的研究热点和存在的不足。(2)密码协议攻击规划理论研究:利用智能规划理论,结合密码协议在实际网络环境中的运行特点,提出了一种密码协议攻击规划理论,建立了相应的密码协议攻击规划问题,给出了描述该问题的基本假设、一阶语法及相关运算语义,基于Dolev-Yao攻击者模型,提出了攻击者动作应用优化策略,构建了密码协议攻击规划系统。(3)密码协议代数语义研究:对密码协议代数语义进行了深入研究和分析,探讨了密码协议中消息项结构的代数性质,提出了密码协议原语操作的代数自由性假设,从代数学的角度讨论了密码协议攻击者的计算能力和攻击行为,通过迁移函数刻画了密码协议中主体的行为和操作,进而,采用函数序列给出了密码协议运行过程的形式化语义,并且利用代数学中的等价变换形式地证明了密码协议攻击规划理论的合理性。(4)密码协议攻击规划算法研究:在分析了密码协议攻击规划问题模型特点的基础上,提出了基于SAT的密码协议攻击规划机制,设计了密码协议攻击规划算法,重点对基于互斥排除和节点有效性判断优化策略的逐层迭代规划图构造算法、基于过载分离动作表示和扩展编码公理的SAT问题编码算法和基于学习机制和空间复杂度优化措施的SAT问题求解算法进行了关键技术研究和算法详细设计。(5)密码协议攻击规划系统设计与开发:基于密码协议攻击规划理论和算法,设计并实现了一个密码协议攻击规划原型系统,并对其性能进行了测试比较。(本文来源于《解放军信息工程大学》期刊2009-04-20）
赵华峰[3]（2008）在《密码协议中重放攻击的研究》一文中研究指出首先从协议层次和攻击层次对密码协议中重放攻击进行分类,然后对重放攻击成功时协议存在的缺陷进行分析,能够更清楚地认识到重放攻击的原理和本质,并给出了重放攻击检测一般方法和防范的策略,这既为协议设计者提高密码协议的安全性起借鉴作用,也能够进一步完善一些协议分析工具的设计,具有一定的实际应用价值。(本文来源于《科学技术与工程》期刊2008年18期）
张鸿宇,王利光,TERENCE,K,S,W[4]（2006）在《对一个新量子密码协议攻击的研究》一文中研究指出讨论了一个不同于BB84协议的量子密匙传输协议的安全性。尽管从理论上看这个协议给密匙传送带来了1/4的冗余编码,从而导致传输效率变低,但它依然简单,而且在对抗PNS(Photon Number Splitting)攻击的过程中,比BB84更安全。然而,研究发现这一新的量子密码协议仍然有漏洞可以利用,使窃听者获得有用的信息。作为应用结果,还讨论了使用这个协议传递密匙的一次性便笺(vernam cipher)的安全性问题。(本文来源于《黑龙江大学自然科学学报》期刊2006年02期）
束妮娜,王亚弟[5]（2005）在《关于密码协议攻击的研究》一文中研究指出该文通过具体实例从不同的角度讨论了对密码协议的各种攻击,并阐述了这些攻击产生的原因及防止它们的一般方法。(本文来源于《计算机工程》期刊2005年19期）
李莉,张焕国[6]（2004）在《一种对密码协议攻击的分类分析》一文中研究指出保证协议的安全性是保证数据通信安全性的一个重要保障,但是由于协议的应用环境的复杂性和协议设计目的侧重的多样性,协议漏洞被陆续发现。该文从协议设计的角度对协议攻击进行了分类分析,指出一些协议仍然存在的攻击,并结合对前人发现的协议攻击的分析,基于协议设计对协议攻击进行分类,并根据分析结果给出了协议设计的一些指导原则。(本文来源于《计算机工程与应用》期刊2004年01期）
姬东耀,冯登国[7]（2003）在《对两个双方密码协议运行模式的攻击及改进》一文中研究指出1.引言密码协议是许多分布式系统安全的基础,确保这些协议能够安全运行是十分重要的。虽然认证与密钥建立协议中仅仅进行很少的几组消息传输,但是其中的每一消息的组成都是经过巧妙设计的,而且这些消息之间有着复杂的相互作用和制约。而目前密码协议设计多采用非形式的方法,以致于一个协议使用多年后才发现它有安全漏洞(如NS公钥协议,TMN协议)。如何发现并弥补协议的安全漏洞,从而增强(本文来源于《计算机科学》期刊2003年06期）
张玉清,胡予濮,肖国镇[8]（2000）在《TMN密码协议的新的攻击》一文中研究指出找到了TMN密码协议的一些新的攻击,这些攻击构成了新的一类攻击.这类攻击的入侵者既作协议的初始者,也作协议的响应者,这样扩大了密码协议攻击的种类,并可直接用于其他密码协议的分析和设计中.(本文来源于《西安电子科技大学学报》期刊2000年01期）
密码协议攻击论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文基于密码协议的运行特点,采用经典规划理论,分别对密码协议形式化模型、密码协议攻击规划机制和规划算法进行了系统研究。论文的工作主要包括以下几点:(1)相关研究现状分析:踪述了当前密码协议形式化分析方法、智能规划理论及其在密码协议形式化分析领域的研究成果,分析目前的研究热点和存在的不足。(2)密码协议攻击规划理论研究:利用智能规划理论,结合密码协议在实际网络环境中的运行特点,提出了一种密码协议攻击规划理论,建立了相应的密码协议攻击规划问题,给出了描述该问题的基本假设、一阶语法及相关运算语义,基于Dolev-Yao攻击者模型,提出了攻击者动作应用优化策略,构建了密码协议攻击规划系统。(3)密码协议代数语义研究:对密码协议代数语义进行了深入研究和分析,探讨了密码协议中消息项结构的代数性质,提出了密码协议原语操作的代数自由性假设,从代数学的角度讨论了密码协议攻击者的计算能力和攻击行为,通过迁移函数刻画了密码协议中主体的行为和操作,进而,采用函数序列给出了密码协议运行过程的形式化语义,并且利用代数学中的等价变换形式地证明了密码协议攻击规划理论的合理性。(4)密码协议攻击规划算法研究:在分析了密码协议攻击规划问题模型特点的基础上,提出了基于SAT的密码协议攻击规划机制,设计了密码协议攻击规划算法,重点对基于互斥排除和节点有效性判断优化策略的逐层迭代规划图构造算法、基于过载分离动作表示和扩展编码公理的SAT问题编码算法和基于学习机制和空间复杂度优化措施的SAT问题求解算法进行了关键技术研究和算法详细设计。(5)密码协议攻击规划系统设计与开发:基于密码协议攻击规划理论和算法,设计并实现了一个密码协议攻击规划原型系统,并对其性能进行了测试比较。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
密码协议攻击论文参考文献
[1].白云莉,叶新铭.一种改进的基于CPN的密码协议攻击者模型[J].内蒙古农业大学学报(自然科学版).2014
[2].周志勇.密码协议攻击规划理论及算法研究[D].解放军信息工程大学.2009
[3].赵华峰.密码协议中重放攻击的研究[J].科学技术与工程.2008
[4].张鸿宇,王利光,TERENCE,K,S,W.对一个新量子密码协议攻击的研究[J].黑龙江大学自然科学学报.2006
[5].束妮娜,王亚弟.关于密码协议攻击的研究[J].计算机工程.2005
[6].李莉,张焕国.一种对密码协议攻击的分类分析[J].计算机工程与应用.2004
[7].姬东耀,冯登国.对两个双方密码协议运行模式的攻击及改进[J].计算机科学.2003
[8].张玉清,胡予濮,肖国镇.TMN密码协议的新的攻击[J].西安电子科技大学学报.2000