导读:本文包含了猜测攻击论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:协议,空间,关键词,口令,逻辑,离线,公钥。
猜测攻击论文文献综述
王少辉,张彦轩,王化群,肖甫,王汝传[1]（2019）在《抗内部关键词猜测攻击的高效公钥可搜索加密方案》一文中研究指出云环境下,如何对用户加密数据实现高效检索是学术界的研究热点。现有大部分公钥可搜索加密方案不能有效抵御由云服务器发起的内部关键词猜测攻击(Inside Keyword Guessing Attack,IKGA),而抗IKGA方案存在效率不高,以及相同关键词对应搜索陷门相同导致的关键词统计信息泄露等问题。鉴于此,提出了一个新的高效抗IKGA的公钥可搜索加密方案,并基于变形DLIN(Decision Linear Problem)假设,以随机预言机模型证明了新方案满足内部关键词猜测攻击下的语义安全。新方案中,搜索陷门包含随机数且相同关键词的搜索陷门不同。与其他PEKS方案相比,新方案减少了双线性对运算的使用次数,因此具有更大的性能优势。(本文来源于《计算机科学》期刊2019年07期）
徐海琳,陆阳[2]（2018）在《抗关键词猜测攻击的可搜索公钥加密方案》一文中研究指出已有带关键词搜索的公钥加密方案和无安全信道的带关键词搜索的公钥加密方案存在关键词猜测攻击的安全性缺陷。针对这一问题,提出了一个无安全信道无指定服务器的带关键词搜索的公钥加密方案框架。该框架不仅具有无安全信道和无指定服务器的优点,而且有效解决了关键词猜测攻击的问题。基于该框架,构造了一个高效基于双线性对的无安全信道无指定服务器的带关键词搜索的公钥加密方案,并在标准模型中严格证明了该方案满足适应性选择关键词攻击下的关键词密文不可区分安全性和关键词陷门不可区分安全性。与已有的一些带关键词搜索的公钥加密方案和无安全信道的带关键词搜索的公钥加密方案相对比,该方案不仅具有优良的特性,而且在计算效率和通信代价上具有明显的优势。(本文来源于《计算机工程与应用》期刊2018年24期）
毋萌[3]（2018）在《抗内部关键字猜测攻击的公钥可搜索加密》一文中研究指出互联网、物联网等技术的飞速发展,使得企业和个人的数据信息呈现出爆发式的增长,从而导致数据的本地处理和分析成为用户的巨大负担。因此,用户不得不选择将私有数据外包给第叁方的云服务器进行存储和处理。然而,通常认为云并不是完全可信的服务提供商,用户需要在使用外包服务之前对数据进行加密,以保证数据的隐私安全性,进而衍生出了一个新问题:如何在密文域安全快捷地执行关键字搜索操作?本文围绕在公钥环境下如何实现安全高效的可搜索加密问题,主要研究了以下内容:1.针对公钥加密机制下,密文解密效率低及可搜索方案中关键字易受攻击的问题,我们提出了一个可高效解密且关键字安全的完整公钥可搜索加密方案,并详细描述了方案构造的过程。该方案将服务器的公私钥对引入到明文加解密的过程中,使服务器承担绝大部分的解密开销,从而极大的降低了用户的解密负担;同时,在构造加密索引时,加入用户的私钥,使得只有掌握该私钥的用户才能生成合法的加密索引,该方法能有效阻止内部敌手通过加密索引和陷门实施关键字猜测攻击,从而提高方案的安全性。2.针对可搜索加密中搜索效率较低的问题,我们分析基于倒排索引思想的隐藏关系结构,改进加密索引的构造方式,同时结合公钥部分解密技术,提出了一个可高效解密、高效搜索并且关键字安全的公钥方案,该方案在支持服务器预解密和抗内部关键字猜测攻击的同时,减少了搜索阶段服务器执行双线性配对运算的次数,从而提高了搜索效率,使方案更具有实用价值。3.针对上述搜索高效的公钥方案,我们提出一种新的安全模型:指定结构的选择关键字攻击(CKA-SS)模型,并在该模型下对方案的安全性进行分析证明;同时,针对方案在解密和搜索上的高效性特征,给出一种混合型的应用场景,并给出各个阶段的具体描述;最后,通过对方案的效率分析,证明该方案的可实际应用性。(本文来源于《华东师范大学》期刊2018-04-01）
李宏博[4]（2016）在《抗内部敌手关键字猜测攻击带关键字搜索公钥加密算法研究》一文中研究指出传统密码学中加密与解密算法使用相同的秘钥,使得秘钥分发技术与签名技术难以在传统密码学中应用。公钥密码学的提出解决的了传统密码学中难以解决的秘钥分发与签名问题。随着公钥密码学的发展,公钥可搜索加密受到了更多的关注。公钥可搜索加密主要以提取文件关键字、加密关键字和关键字密文搜索的方式实现密文搜索。带关键字搜索公钥密码学的研究包括多用户访问控制、关键字模糊搜索、关键字灵活运算以及关键字隐私保护等。本文主要研究带关键字搜索公钥密码学中的关键字隐私保护问题。关键字猜测攻击是泄露关键字隐私的主要手段。其主要方法是对关键字域进行遍历与加密,分别与密文搜索时的搜索陷门进行匹配测试,若匹配测试成功,则敌手获知用户搜索时使用的关键字,否则继续遍历关键字域并加密,循环测试。带关键字搜索公钥加密系统中内部敌手利用关键字猜测攻击获取关键字信息。关键字信息泄露用户的隐私以及搜索习惯等信息。抗内部敌手关键字猜测攻击目前是国内外研究中的一个难题。本文研究抗内部敌手关键字猜测攻击的带关键字搜索公钥加密体系,包括抗内部敌手关键字猜测攻击带关键字搜索公钥加密安全模型、抗内部敌手关键字猜测攻击带关键字搜索公钥加密方案构造与安全性证明。本文首次定义了抗内部敌手关键字猜测攻击带关键字搜索公钥加密安全模型并在该模型下首次构造了一种不依赖第叁方认证的带关键字搜索公钥加密方案。本文给出了该方案的安全性证明并将其与现有相关方案进行了对比分析。研究结果表明本研究中的两种方案在能够抵抗内部敌手关键字猜测攻击的同时保证高运行效率。(本文来源于《华南农业大学》期刊2016-06-01）
孙国平,胡予濮,白生江[5]（2010）在《基于选择差分的Trivium猜测攻击》一文中研究指出给出一种基于选择差分对Trivium算法进行猜测攻击的方法。通过分析Trivium密钥流生成方程,确定需要改变Trivium 288 bit内部状态中的52 bit,使用错误注入改变所确定的52 bit,并生成密钥流,与原始密钥流进行差分。该方法只需猜测45 bit即可使密钥流生成方程中的177个非线性方程成为线性方程,加上已有的66个线性方程,使用高斯消元法获得剩余的243 bit,从而攻破Trivium。(本文来源于《计算机工程》期刊2010年09期）
周清雷,贾立伟,赵东明[6]（2009）在《基于串空间模型的多协议猜测攻击验证分析》一文中研究指出对安全协议进行猜测攻击,如果攻击者不能正确猜测用户秘密,那么他就会设法使用其他的信息来验证这种猜测。过去仅考虑了协议在独立执行的时候所遭受到的攻击。现引入一种新类型攻击称为多协议猜测攻击,它可以存在于混合协议中。接着,采用程序化分析方法对协议可能遭受到的猜测攻击进行了分析即协议的脆弱性分析。最后,加入一定的限制条件并使用串空间建模,进而保证了协议的安全性即协议的健壮性验证。(本文来源于《计算机应用与软件》期刊2009年07期）
王玉磊,邓淼磊,钱兴中,周跃华,郭宏刚[7]（2009）在《口令猜测攻击的串空间模型分析》一文中研究指出使用用户口令的安全协议易受到猜测攻击,基于串空间理论模型,对攻击者串进行了扩展,引入了分析猜测攻击的能力,并给出了口令猜测攻击的形式化定义.(本文来源于《河北师范大学学报(自然科学版)》期刊2009年02期）
李超,董荣胜[8]（2007）在《针对猜测攻击的Athena方法的扩展》一文中研究指出猜测攻击是安全协议中一类特殊问题,对其进行研究具有现实意义。本文针对猜测攻击,引入了基于串空间模型的Athena分析方法,并考虑了攻击者对弱口令的猜测能力。为此,在串空间模型的消息项中引入了可验证项的概念,以描述猜测攻击条件中的验证项,同时扩展了串空间中攻击者的能力,赋予了攻击者对弱口令的猜测能力;为在Athena后继函数搜索算法中实现对验证项的关联,以判断猜测攻击,在Athena方法的状态表示法中引入猜测验证目标及猜测验证目标绑定的概念,对状态、推理规则进行相应的修改,同时扩展后继状态函数,使扩展后的函数具备分析猜测攻击的能力;最后运用扩展后的Athena方法对会话密钥建立协议(key-establishment protocol)进行分析。分析发现,当pk为对称密钥时,协议存在猜测攻击,并给出了攻击路径。(本文来源于《计算机科学》期刊2007年12期）
毛晨晓,罗文坚,王煦法[9]（2007）在《分析安全协议猜测攻击的模态逻辑方法》一文中研究指出以CKT5逻辑为基础,对其进行了多方面重要的扩展;在原有对称密钥机制的基础上,增加了公开密钥机制和Vernam加密机制以增强其描述协议的能力;打破完善加密假设,给出了一组定义和规则使主体具备猜测和验证口令的能力;给出了与在线猜测攻击相关的定理以反映在线猜测攻击的特点;通过相关引理和定理的证明,简化了猜测攻击的分析过程,使该文方法比现有方法更加简洁高效.扩展后的逻辑能够用于分析安全协议的猜测攻击,包括在线猜测攻击.(本文来源于《计算机学报》期刊2007年06期）
龙士工,罗文俊,袁超伟,李祥[10]（2007）在《串空间模型中的口令猜测攻击》一文中研究指出给出了鉴别协议猜测攻击的串空间模型.扩充了攻击者串和密码运算类型,重新定义了理想概念,并证明了相关定理.扩展的诚实理想分析模型不仅继承了原理论的有关性质,而且适应猜测攻击的分析.以GLNS协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.(本文来源于《北京邮电大学学报》期刊2007年01期）
猜测攻击论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
已有带关键词搜索的公钥加密方案和无安全信道的带关键词搜索的公钥加密方案存在关键词猜测攻击的安全性缺陷。针对这一问题,提出了一个无安全信道无指定服务器的带关键词搜索的公钥加密方案框架。该框架不仅具有无安全信道和无指定服务器的优点,而且有效解决了关键词猜测攻击的问题。基于该框架,构造了一个高效基于双线性对的无安全信道无指定服务器的带关键词搜索的公钥加密方案,并在标准模型中严格证明了该方案满足适应性选择关键词攻击下的关键词密文不可区分安全性和关键词陷门不可区分安全性。与已有的一些带关键词搜索的公钥加密方案和无安全信道的带关键词搜索的公钥加密方案相对比,该方案不仅具有优良的特性,而且在计算效率和通信代价上具有明显的优势。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
猜测攻击论文参考文献
[1].王少辉,张彦轩,王化群,肖甫,王汝传.抗内部关键词猜测攻击的高效公钥可搜索加密方案[J].计算机科学.2019
[2].徐海琳,陆阳.抗关键词猜测攻击的可搜索公钥加密方案[J].计算机工程与应用.2018
[3].毋萌.抗内部关键字猜测攻击的公钥可搜索加密[D].华东师范大学.2018
[4].李宏博.抗内部敌手关键字猜测攻击带关键字搜索公钥加密算法研究[D].华南农业大学.2016
[5].孙国平,胡予濮,白生江.基于选择差分的Trivium猜测攻击[J].计算机工程.2010
[6].周清雷,贾立伟,赵东明.基于串空间模型的多协议猜测攻击验证分析[J].计算机应用与软件.2009
[7].王玉磊,邓淼磊,钱兴中,周跃华,郭宏刚.口令猜测攻击的串空间模型分析[J].河北师范大学学报(自然科学版).2009
[8].李超,董荣胜.针对猜测攻击的Athena方法的扩展[J].计算机科学.2007
[9].毛晨晓,罗文坚,王煦法.分析安全协议猜测攻击的模态逻辑方法[J].计算机学报.2007
[10].龙士工,罗文俊,袁超伟,李祥.串空间模型中的口令猜测攻击[J].北京邮电大学学报.2007
论文知识图
