王永娟
- 作品数：17 被引量：12H指数：2
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术理学更多>>
- 布尔函数代数免疫性质的研究
- 近年来，代数攻击的提出和发展被认为是密码分忻技术中的最重要的突破。其主要特点是采用了基于代数思想的方法与技巧，将一个密码算法的安全性完全归约为求解一个超定的多变元高次方程组(即该系统中的方程个数多于变量的个数)的问题上。...
- 王永娟
- 关键词：序列密码布尔函数代数攻击代数免疫正规性相关免疫
- 文献传递
- 相关免疫逻辑函数的特征矩阵及其计数
- 2004年
- 本文定义了取值于任意抽象集合的逻辑函数的特征矩阵及其相关免疫性,用概率的方法研究了这类最一般的逻辑函数具有相关免疫性时,其特征矩阵的性质,由此给出了逻辑函数相关免疫的等价判别条件,据此给出了这类相关免疫逻辑函数的一种构造方法并对相关免疫逻辑函数的计数进行了研究,得到了一个一般性的下界.
- 王永娟曾本胜李世取
- 关键词：相关免疫特征矩阵计数
- 偶数元最优代数免疫布尔函数的一种构造方法
- 2008年
- 利用布尔函数的汉明重量与代数次数之间的关系,得到布尔函数不存在低次零化子的一个充分条件.通过构造适当的仿射子空间,保证布尔函数不存在低次零化子,得到偶数元最优代数免疫布尔函数的一种构造方法,并对此类函数进行了计数.
- 王永娟范淑琴韩文报张世武
- 关键词：代数攻击布尔函数代数免疫
- 对轻量级分组密码算法LBlock的差分故障攻击被引量：3
- 2019年
- 本文首先分析差分故障攻击的故障模型与原理,利用S盒的差分不均匀性,通过建立输入差分、输出差分和可能输入值之间的对应关系,给出差分故障分析的优化方案,实现快速归约,提高差分故障攻击的效率.本文通过对LBlock算法建立对应关系,可以快速直观缩小输入值取值空间,进而快速确定对应扩展密钥.对于不同故障值(输入差分),对应的输出差分和可能输入值均不相同,可以得到二元关系集合.由于轻量级分组密码S盒多为4×4 S盒,该集合中元素较少,注入少量不同故障值,通过查表,对可能输入值取交集即可快速确定唯一可能输入值.将优化方案应用于LBlock轻量级分组密码算法,在最后一轮输入处注入2次宽度为16 bit的故障可恢复最后一轮轮密钥,然后将状态回推一轮,在倒数第二轮输入处注入2次宽度为16 bit的故障可恢复倒数第二轮密钥.根据密钥扩展方案,恢复两轮轮密钥后将恢复主密钥的计算复杂度降为2^(19).
- 王涛王永娟高杨张诗怡
- 关键词：差分故障攻击
- 4×4形式化MDS矩阵的构造与应用被引量：1
- 2018年
- GL(4,F_2)上4×4的MDS矩阵由于能提供最大分支数,可有效抵抗差分分析与线性分析,因此被广泛应用于分组密码线性扩散层的设计.随着密码算法在物联网等领域的轻量化应用的急速发展,具有较少异或总数的MDS矩阵能显著节约电路成本,轻量级MDS矩阵的快速搜索方案在实际应用中需求迫切.本文在研究轻量级MDS矩阵的构造时,提出了形式化MDS矩阵的概念:构成元素部分已知,且位置已定,同时所有位置元素满足MDS矩阵的判定条件.基于该定义,本文首先实现了只含3个矩阵元素的4×4形式化MDS矩阵,L_i[I,A,A^d]的构造.其中I是4×4的单位矩阵,i代表形式化MDS矩阵中I的个数,o(A)=15,d=2,3,···,14.利用有限域理论,通过遍历F_2上阶为15的4×4矩阵A,本文共获得了18 432个异或总数为13与17 280个异或总数为12的轻量级4×4 MDS矩阵.在此基础上,通过增加构成矩阵的元素,变换各元素间代数关系等,进一步给出了推广的形式化MDS矩阵的构造算法.利用该算法,本文实现了GL(4,F_2)上最优异或数为10的4×4 MDS矩阵的快速构造,并分析了这些矩阵的代数结构.本文的方法较一般穷举搜索方法极大地减小了搜索空间,提高了搜索效率与准确率.
- 张诗怡王永娟王磊王涛
- 关键词：密码学分组密码
- Cube攻击及其应用
- be攻击是由Itai Dinur和Adi Shamir共同提出的一种己知明文攻击的新技术.本文针对输出函数已知且次数比较低的时候,提出了寻找线性关系新方法;选定某一公开变量,通过限制运行的最大拍数,对每一拍进行线性检验,...
- 李国王伟王永娟
- 关键词：密码系统
- 特征矩阵在逻辑函数性质与构造研究中的应用
- 本文利用特征矩阵研究了密码学中逻辑函数的相关问题,主要做的工作有: 首先,根据Bent函数的自相关特征,利用特征矩阵给出了Bent函数的一个新的等价判别条件,并由此得到了4元Bent函数的一个完全构造方法。进而通...
- 王永娟
- 关键词：特征矩阵相关免疫性自相关函数BENT函数广义BENT函数
- 正规性和代数免疫被引量：3
- 2009年
- 布尔函数的代数免疫性是衡量其抵抗代数攻击能力的重要指标,为快速计算布尔函数的代数免疫,进而有效实施代数攻击,利用布尔函数特征矩阵代数结构和代数次数之间的关系,首次给出了正规性与代数免疫度的制约关系。得到代数免疫度的一个上界,若n元布尔函数是k-正规的,则其代数免疫度满足AI(f)≤min{degf,n-k},且当变元个数≤5时上式等号成立。作为推论,给出了布尔函数代数免疫度为1和2时的充分条件,为判定布尔函数是否存在低次零化子提供了理论支持。
- 王永娟范淑琴冀会芳韩文报
- 关键词：代数攻击流密码
- 最优代数免疫布尔函数构造方法的研究
- 介绍了流密码代数攻击方法的基本思想，说明布尔函数具有好的代数免疫的重要性。描述了代数免疫与其它密码学性质之间的关系，归纳了最优代数免疫的布尔函数的典型构造方法，并对其中的一些证明方法和结果做了改进。
- 王永娟范淑琴韩文报张世武
- 关键词：流密码代数攻击布尔函数代数免疫
- 满足CI的RotS函数的构造与计数
- 讨论了旋转对称(RotS)函数的Walsh谱特征，得到了RotS函数的一个等价判别条件。进而研究了RotS函数满足相关免疫性(CI)时的取值特征。给出了满足CI的Rots函数的一种构造方法，得到了当RotS函数的变量为奇...
- 王永娟韩文报李世取
- 关键词：奇素数谱特征
- 文献传递
