期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
Feistel-SP结构迭代差分的自动化搜索
1
作者 李艳俊 方波 毛明 《计算机工程与科学》 CSCD 北大核心 2015年第3期466-470,共5页
基于新的符号差分表示方法提出了一种自动化搜索技术,可以搜索出典型Feistel-SP结构的分组密码的最优迭代差分模式,选择合适的迭代差分模式可以遍历出所有最优的迭代差分路径,不仅大大降低计算复杂性,还能通过迭代差分模式构造出多轮最... 基于新的符号差分表示方法提出了一种自动化搜索技术,可以搜索出典型Feistel-SP结构的分组密码的最优迭代差分模式,选择合适的迭代差分模式可以遍历出所有最优的迭代差分路径,不仅大大降低计算复杂性,还能通过迭代差分模式构造出多轮最优差分路径。以轻量级分组密码MIBS为例,应用自动化搜索工具,给出了MIBS的3轮、4轮最优迭代差分路径,概率分别为2-20、2-26,并搜索出所有满足条件的最优迭代差分路径。 展开更多
关键词 Feistel-SP MIBS 自动化搜索 符号差分 迭代差分
在线阅读 下载PDF
基于分治策略的SAT差分自动化搜索算法及其应用
2
作者 胡斌 谈潇 王森鹏 《通信学报》 EI CSCD 北大核心 2023年第4期137-144,共8页
为了提高自动化搜索效率,结合分治策略提出了一种基于SAT模型的最优差分特征搜索算法。利用任意部分连续轮的Matsui边界条件提供的信息,将搜索空间划分为互不相交的子集。通过分析SAT差分模型间的可满足性关系,提出一种降序分支搜索链... 为了提高自动化搜索效率,结合分治策略提出了一种基于SAT模型的最优差分特征搜索算法。利用任意部分连续轮的Matsui边界条件提供的信息,将搜索空间划分为互不相交的子集。通过分析SAT差分模型间的可满足性关系,提出一种降序分支搜索链模型。进一步地,在模型优化层面,减少了需搜索划分子集数量的方法;在算法实现层面,结合并行技术实现对模型搜索空间的约减。将加速算法应用于ARX类密码算法族SPECK,获得了20轮、14轮、11轮SPECK-48、SPECK-96、SPECK-128的最优差分特征,较现有最好结果分别提高了1轮、4轮、2轮。 展开更多
关键词 差分特征 分组密码 自动化搜索 分治策略
在线阅读 下载PDF
类MARS动态密码结构不可能差分区分器的自动化分析研究
3
作者 沈霞民 沈璇 卜予彤 《计算机工程与应用》 北大核心 2025年第21期297-308,共12页
动态分组密码结构设计与安全性分析已成为当前密码学领域研究的热点,王念平等人提出了类MARS动态密码结构,其线性变换层可从{0,1}^(4)上多个线性双射中选取,并从抵抗线性分析角度得出控制参数取值为1111时,是该结构线性变换层的一种优... 动态分组密码结构设计与安全性分析已成为当前密码学领域研究的热点,王念平等人提出了类MARS动态密码结构,其线性变换层可从{0,1}^(4)上多个线性双射中选取,并从抵抗线性分析角度得出控制参数取值为1111时,是该结构线性变换层的一种优化设计。为进一步研究该设计在抵抗不可能差分分析的安全性能,将控制参数取值扩展成{0,1}^(4)上线性双射集合中的一个子集,同时为提高分析效率,利用轮函数双射性质、中间相错技术和矩阵表示方法,设计了基于矩阵刻画的不可能差分自动化搜索算法,逐一对子集中16种情形的不可能差分区分器潜在轮数分析对比,当控制参数取值为0011、0101、0110、1001、1010和1100时,此6种情形存在任意轮不可能差分区分器,其他10种情形区分器为有限轮,其中控制参数1101对应结构的不可能差分区分器轮数最短。研究得出,类MARS动态密码结构同一参数设置抵抗不同密码分析强度各不相同,抗线性分析优化设计从不可能差分分析的角度看并不是最优选择,在设计密码结构时不能选择存在任意长区分器的参数,应选取抗各类密码攻击综合性能较强的设计,且提出的自动化搜索算法有助于动态密码结构的分析研究。 展开更多
关键词 分组密码 类MARS动态密码结构 不可能差分分析 中间相错技术 矩阵表示 自动化搜索
在线阅读 下载PDF
分组密码最小活跃S盒个数快速搜索算法
4
作者 刘正斌 李永强 朱朝熹 《通信学报》 EI CSCD 北大核心 2023年第1期118-128,共11页
为了解决密码设计中最小活跃S盒个数的快速计算问题,研究了扩散层的差分和掩码传播性质,提出了一种计算最大距离可分(MDS)矩阵和二元域矩阵的差分/掩码模式分布表的方法,并证明了所提方法计算复杂度的下界。基于扩散矩阵的差分/掩码模... 为了解决密码设计中最小活跃S盒个数的快速计算问题,研究了扩散层的差分和掩码传播性质,提出了一种计算最大距离可分(MDS)矩阵和二元域矩阵的差分/掩码模式分布表的方法,并证明了所提方法计算复杂度的下界。基于扩散矩阵的差分/掩码模式分布表,提出了一种快速搜索分组密码最小活跃S盒个数的算法,将其用于代入置换网络(SPN)型分组密码,找到了LED、SKINNY、CRAFT和FIDES的全轮最小活跃S盒个数。 展开更多
关键词 分组密码 差分密码分析 线性密码分析 活跃S盒 自动化搜索
在线阅读 下载PDF
减轮SKINNY-128-384算法的中间相遇攻击 被引量:2
5
作者 肖钰汾 田甜 《密码学报》 CSCD 2021年第2期338-351,共14页
本文研究了SKINNY算法的中间相遇攻击.中间相遇攻击广泛用于基于SPN结构的分组密码的安全性分析中.2018年亚密会上,史丹萍等人提出了SKINNY算法的中间相遇攻击.通过自动化搜索的方法,史丹萍等人结合算法中可利用的相关约束条件,给出了22... 本文研究了SKINNY算法的中间相遇攻击.中间相遇攻击广泛用于基于SPN结构的分组密码的安全性分析中.2018年亚密会上,史丹萍等人提出了SKINNY算法的中间相遇攻击.通过自动化搜索的方法,史丹萍等人结合算法中可利用的相关约束条件,给出了22轮SKINNY-128-384算法的中间相遇攻击.然而,在其中间相遇区分器的搜索过程中没有考虑轮密钥的猜测,仅通过猜测部分状态值确定中间相遇区分器.针对这一点,本文对自动化搜索SKINNY算法中间相遇区分器的方法进行了改进,将搜索过程中一部分状态的猜测转化为密钥的猜测,同时结合密钥桥技术,降低了密钥的猜测量,从而达到降低区分器存储复杂度的目的.本文所给出的SKINNY-128-384中间相遇攻击在不增大数据复杂度和时间复杂度的情况下,降低了攻击过程中的存储复杂度. 展开更多
关键词 SKINNY算法 中间相遇攻击 自动化搜索 密钥桥技术
在线阅读 下载PDF
CHAM算法的安全性分析
6
作者 陈少真 李航 +1 位作者 付志新 任炯炯 《密码学报》 CSCD 2021年第1期124-131,共8页
本文主要研究基于ARX结构的轻量级分组密码CHAM算法,利用不可能差分分析、零相关线性分析对其进行安全性分析.首先,利用线性不等式组对算法的每个组件进行等价刻画,描述了差分特征和线性掩码的传播规律,建立了基于MILP(混合整数规划问题... 本文主要研究基于ARX结构的轻量级分组密码CHAM算法,利用不可能差分分析、零相关线性分析对其进行安全性分析.首先,利用线性不等式组对算法的每个组件进行等价刻画,描述了差分特征和线性掩码的传播规律,建立了基于MILP(混合整数规划问题)的不可能差分和零相关线性自动化搜索模型.其次,根据CHAM算法四分支广义Feistel结构的特点,得到CHAM算法特定形式(输入或者输出差分(掩码)仅含有一个非零块)下的最长不可能差分路径和零相关线性路径具有的性质,优化了搜索策略,缩小了搜索空间.最后,利用搜索算法,遍历特定的输入输出集合,共得到CHAM-64的5条19轮不可能差分区分器,CHAM-128的1条18轮不可能差分区分器和15条19轮零相关线性区分器,均为目前公开发表的最长同类型区分器. 展开更多
关键词 轻量级分组密码 CHAM算法 自动化搜索
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部