导读:本文包含了扩展的认证测试方法论文开题报告文献综述及选题提纲参考文献，主要关键词:串空间模型,认证测试,TLS协议,哈希函数
扩展的认证测试方法论文文献综述
周清雷,毋晓英[1]（2010）在《认证测试方法的扩展及其应用》一文中研究指出基于串空间模型的认证测试方法分析协议的安全性有一定的局限性,只能分析有限的协议.因此,对基于串空间模型的认证测试方法进行了扩展,通过修改测试分量和认证测试规则,对该方法进行了改进,运用扩展后的认证测试方法对使用签名和哈希函数的TLS协议进行了分析,扩大了认证测试方法的使用范围;并提出了对测试分量新鲜性的检验,进一步完善了认证测试方法.(本文来源于《郑州大学学报(工学版)》期刊2010年03期）
方燕萍[2]（2009）在《串空间模型及其认证测试方法的扩展与应用》一文中研究指出安全协议提供安全服务,是构建网络安全的基石。随着网络的迅速发展,越来越多的密码技术被应用到安全协议中,保证了网络不同程度的安全性。然而各种针对协议的攻击技术也不断出现,这对安全协议的分析提出了更高的要求。形式化方法是一种非常有效的安全协议分析的方法。串空间模型及相关理论的出现推动了安全协议的形式化分析研究。然而原始的串空间模型及其认证方法在分析一些安全协议时还存在一些不足,因此本文针对基于丰富密码学的安全协议和基于猜测攻击的安全协议,扩展了串空间模型和认证测试方法。由于原始的串空间模型仅考虑了一些简单操作,无法描述和分析在安全协议中使用越来越广泛的其他一些操作,如散列函数、签名运算和DH计算等,因此需要扩展串空间模型。由于认证测试方法以串空间模型为基础,因此串空间模型中存在的一些不足在认证测试方法中同样存在,因此本文还提出了一种基于丰富密码学的扩展认证测试方法。扩展后的模型和方法能够更精确地描述和分析安全协议的安全性,并能够应用于更广泛的领域。由于分析安全协议猜测攻击时需要考虑密码系统不完善所产生的问题,而原始的认证测试方法对密码系统做了完善的假设,需要叁个基本前提假设,难以发现安全协议中存在的猜测攻击。本文提出了一种基于猜测攻击的扩展认证测试方法。首先定义了猜测数据和验证项,并将其引入到串空间模型中;然后定义了验证项判断规则和验证项判断算法,并将其引入到认证测试方法中。扩展后的模型和方法能够发现安全协议中存在的猜测攻击。为验证扩展串空间模型和认证测试方法的有效性,本文首先分析了SSL3.0和TLS1.0握手协议,验证了协议的认证性;然后分析了Yahalom-BAN和EXE协议,发现了协议中存在的猜测攻击。实例分析结果说明了扩展说明了扩展串空间模型和认证测试方法的正确性和有效性。(本文来源于《苏州大学》期刊2009-05-01）
方燕萍,章晓芳,张广泉[3]（2008）在《串空间模型及其认证测试方法的一种扩展与应用》一文中研究指出认证测试方法是基于串空间模型的验证安全协议的一种形式化方法,由于串空间模型没有抽象更多的密码学原语,因此难以分析较复杂的安全协议。通过扩展消息项、子项关系以及入侵者模型,扩展了串空间模型及相应的认证测试方法。根据扩展后的认证测试方法,分析了SSL3.0握手协议,验证了该协议认证属性。(本文来源于《计算机应用》期刊2008年12期）
扩展的认证测试方法论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
安全协议提供安全服务,是构建网络安全的基石。随着网络的迅速发展,越来越多的密码技术被应用到安全协议中,保证了网络不同程度的安全性。然而各种针对协议的攻击技术也不断出现,这对安全协议的分析提出了更高的要求。形式化方法是一种非常有效的安全协议分析的方法。串空间模型及相关理论的出现推动了安全协议的形式化分析研究。然而原始的串空间模型及其认证方法在分析一些安全协议时还存在一些不足,因此本文针对基于丰富密码学的安全协议和基于猜测攻击的安全协议,扩展了串空间模型和认证测试方法。由于原始的串空间模型仅考虑了一些简单操作,无法描述和分析在安全协议中使用越来越广泛的其他一些操作,如散列函数、签名运算和DH计算等,因此需要扩展串空间模型。由于认证测试方法以串空间模型为基础,因此串空间模型中存在的一些不足在认证测试方法中同样存在,因此本文还提出了一种基于丰富密码学的扩展认证测试方法。扩展后的模型和方法能够更精确地描述和分析安全协议的安全性,并能够应用于更广泛的领域。由于分析安全协议猜测攻击时需要考虑密码系统不完善所产生的问题,而原始的认证测试方法对密码系统做了完善的假设,需要叁个基本前提假设,难以发现安全协议中存在的猜测攻击。本文提出了一种基于猜测攻击的扩展认证测试方法。首先定义了猜测数据和验证项,并将其引入到串空间模型中;然后定义了验证项判断规则和验证项判断算法,并将其引入到认证测试方法中。扩展后的模型和方法能够发现安全协议中存在的猜测攻击。为验证扩展串空间模型和认证测试方法的有效性,本文首先分析了SSL3.0和TLS1.0握手协议,验证了协议的认证性;然后分析了Yahalom-BAN和EXE协议,发现了协议中存在的猜测攻击。实例分析结果说明了扩展说明了扩展串空间模型和认证测试方法的正确性和有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
扩展的认证测试方法论文参考文献
[1].周清雷,毋晓英.认证测试方法的扩展及其应用[J].郑州大学学报(工学版).2010
[2].方燕萍.串空间模型及其认证测试方法的扩展与应用[D].苏州大学.2009
[3].方燕萍,章晓芳,张广泉.串空间模型及其认证测试方法的一种扩展与应用[J].计算机应用.2008