对比特搜索生成器的猜测确定攻击

针对具有低重量反馈多项式的比特搜索生成器(BSG),利用猜测确定攻击的思想提出了一种快速密钥恢复攻击。该算法基于BSG序列的差分构造特点,首先由截获的密钥流恢复出候选差分序列,然后用反馈多项式对候选差分序列进行校验,以此减少需要求解的L维线性方程系统的数量,从而大大减少了算法所需的复杂度。理论分析和仿真结果表明,对于反馈多项式的重量小于10的BSG,该算法明显优于现有的攻击方法。特别地当反馈多项式的重量为3时,该算法能够将最好的攻击结果O(L320.5L)降低到O(L20.5L)。

对Loiss算法的猜测确定分析

分析Loiss算法在抵御猜测确定攻击方面的安全性,并给出一个猜测确定攻击的方法.该攻击方法避免对Loiss算法中BOMM结构的寄存器进行直接猜测从而降低了攻击复杂度.最终攻击的时间复杂度为O(2247),数据复杂度为O(252).

序列密码猜测确定攻击的现状研究

介绍了序列密码猜测确定攻击方法的基本原理及其实现方法,总结对具有非线性过滤生成器结构的密钥流生成器的猜测确定攻击方法及其在考虑滤波函数输入情况下的改进方法,概括了现有针对组合器结构序列密码的猜测确定攻击思路,并通过对A2U2算法的攻击,具体说明组合器结构的猜测确定攻击思路,总结多种方法融合的猜测确定攻击。最后,对序列密码猜测确定攻击的研究前景进行展望,指出了目前仍未解决的主要问题。

Grain-v1的猜测确定新攻击方法

针对Grain-v1是否存在未知安全缺陷,提出了一种新的猜测确定攻击方法。利用内部状态转移特征和抽头位置关系,优先恢复其线性移位寄存器内部状态信息,并结合时间-存储-数据折中技术给出新的内部状态恢复攻击。结果表明:该攻击需要的数据复杂度为279bit密钥流,时间复杂度为286.3次算法加密,存储复杂度为280个160bit数据块。与已有的攻击方法相比,新攻击需要的时间复杂度更低。

向量k-正规函数滤波模型流密码猜测确定攻击

猜测确定攻击是非线性滤波生成器的有效分析方法。滤波函数的代数性质是直接关系该模型抵抗猜测确定攻击能力的关键因素之一。正规性是密码函数的一个重要指标。文中分析了当滤波函数为k-(弱)正规函数时,使得滤波器猜测确定攻击采样次数明显减少,在攻击所需要的预计算复杂度和存储复杂度不变的情况下,降低攻击复杂度了2n-m-k。

基于故障信息的SOSEMANUK猜测确定攻击

针对SOSEMANUK流密码已有攻击方法复杂度过高的不足,提出并讨论了一种基于故障信息的猜测确定攻击方法.首先利用代数方法构建密码在比特层面的等效代数方程组,然后向密码注入随机单字故障,在深入分析故障传播特征的基础上,将故障信息表示成代数方程组并猜测密码部分内部状态,使用CryptoMinisat解析器求解代数方程组恢复密码初始内部状态.实验结果表明:对密码首轮加密进行攻击,恢复密码全部初始内部状态所需的故障注入次数为20次,计算复杂度为O(296),对密码前两轮加密进行攻击,无须猜测密码内部状态,仅注入10个单字故障即可恢复密码全部初始内部状态.与已有结果相比,新方法攻击复杂度显著降低.

流密码分析方法研究综述

研究密码分析方法对设计密码算法至关重要。鉴于此,回顾了目前主要的流密码分析方法,研究了流密码分析方法的分类与联系,从主要技术特点的角度将其分为基于相关性质、差分性质、代数方程组和时间存储数据折中这4种类型,分别阐述了各分析方法的基本原理、主要技术及相关研究进展,并概括了其主要特点。此外,对流密码分析方法未来的发展方向进行了展望。