-
公开(公告)号:CN119814282A
公开(公告)日:2025-04-11
申请号:CN202411865766.6
申请日:2024-12-18
Applicant: 中国电子科技集团公司第三十研究所
Abstract: 本发明涉及分组密码技术领域,提供一种基于结构特性的函数周期性质自动化判别方法、设备、介质及程序产品,用于分组密码的量子区分,所述方法包括:对于函数f分析对应的结构F;选择收缩宽度b与重复次数Num;生成Num个随机数;设定起始序号i=1;设定分支宽度为b,利用随机数对结构F做收缩实例化,得到结构F的收缩实例函数fi;判别收缩实例函数fi是否为周期函数:若否,则判定结构F不具有周期性质,函数f不是周期函数;若是,则令i=i+1;若i≤Num则返回,否则判定结构F具有周期性质,继而判定该结构F下的函数f是周期函数,判别过程结束。本发明能够对已知结构的函数在可有效计算的时间内给出周期性质判别结论。
-
公开(公告)号:CN119519931A
公开(公告)日:2025-02-25
申请号:CN202411650276.4
申请日:2024-11-19
Applicant: 中国电子科技集团公司第三十研究所
IPC: H04L9/06
Abstract: 本申请公开了一种面向大位宽的LFSR构造方法及系统,涉及密码、数据安全技术,包括:配置线性反馈移位寄存器(LFSR)第t步的内部状态以及LFSR的更新函数,并根据所述内部状态以及所述更新函数,确定LFSR的状态更新;根据LFSR的状态更新选取l个m级不可约多项式;根据不可约多项式的根,计算对应的比特变换矩阵,并根据各比特变换矩阵计算对角矩阵;选取l维的置换σ,根据置换σ构造由l×l个m维矩阵构成的分块矩阵;基于所述分块矩阵以及设定维度的单位矩阵构造矩阵G,并在矩阵G的特征多项式为本原多项式的情况下,输出矩阵G作为LFSR的状态转移矩阵。本申请的方法支持并行计算,且具有比LOL中LFSR更低的计算复杂度与软硬件实现代价。
-
公开(公告)号:CN114389791B
公开(公告)日:2024-10-22
申请号:CN202111571646.1
申请日:2021-12-21
Applicant: 中国电子科技集团公司第三十研究所
Abstract: 本发明提供了一种基于MILP的线性扩散层分支数快速计算方法,包括以下过程:步骤1、将线性扩散层分支数计算问题转化为MILP问题;步骤2、基于MILP问题建立MILP模型,并采用线性规划求解器进行求解,得到线性扩散层分支数;其中,在MILP模型中,将线性扩散层中差分和线性的传播行为用线性不等式刻画。本发明提出的线性扩散层分支数快速计算方法能够在较短的时间内求解出宽度大于32的线性扩散层的分支数。
-
公开(公告)号:CN112636899A
公开(公告)日:2021-04-09
申请号:CN202010994280.8
申请日:2020-09-21
Applicant: 中国电子科技集团公司第三十研究所
IPC: H04L9/06
Abstract: 本发明公开了一种轻量化S盒设计方法。本发明能够产生密码性质好的轻量化8比特S盒,其单轮逻辑运算仅涉及4个比特与运算和4个比特异或运算,迭代4轮后差分均匀度为16、非线性度为96且整体平衡(非线性置换);与现有技术相比,通过本发明得到的轻量化8比特S盒在硬件资源低的条件下达到了已知最优的差分均匀度和非线性度等密码学指标,解决了之前轻量化8比特S盒差分均匀度和非线性度等密码性质弱的问题。
-
公开(公告)号:CN119276464A
公开(公告)日:2025-01-07
申请号:CN202411370575.2
申请日:2024-09-29
Applicant: 中国电子科技集团公司第三十研究所
IPC: H04L9/06
Abstract: 本发明提供一种面向基于置换设计密码算法的差分特征自动化搜索方法,包括:基于差分在各个密码部件中的传播规则,建立模型1;基于加密信息对在密码部件中运算的关系以及差分值与加密信息对之间的关系,建立模型2;利用SMT求解器对模型1进行求解,搜索高概率差分特征,根据模型1中求取的高概率差分特征的输入差分与输出差分,固定模型2中输入差分与输出差分值与模型1一致,利用SMT求解器对模型2进行求解;若模型2有解,则输出高概率差分特征,否则利用模型1搜索新的高概率差分特征。本发明提出的建模方法排除了传统差分搜索方法得到的差分特征可能与实际运算值存在冲突的情况,为基于置换设计密码算法提供了更精确的安全性分析结果。
-
公开(公告)号:CN114024663B
公开(公告)日:2023-06-02
申请号:CN202111403076.5
申请日:2021-11-24
Applicant: 中国电子科技集团公司第三十研究所
IPC: H04L9/06
Abstract: 本发明公开了一种基于SMT的线性扩散层分支数测评方法、设备及介质,其中方法包括:步骤一、将线性扩散层内部比特之间的关系的差分和线性传播行为用可满足性模理论SMT的表达式等价刻画;步骤二、建立线性扩散层每个字块和对应比特之间的约束条件;步骤三、计算分支数的大小即统计非零字块的最少个数,先将分支数设置为一个较小值,使得SMT模型没有满足解,然后逐渐增大分支数的大小,直到SMT模型有满足解时,此解即为线性扩散层的分支数大小。本发明将线性扩散层差分分支数和线性分支数的计算问题转化为SAT问题,建立SMT模型后调用SMT求解器boolector求解,可在较短时间内求解出宽度大于32的线性扩散层的分支数。
-
公开(公告)号:CN120050024A
公开(公告)日:2025-05-27
申请号:CN202510107574.7
申请日:2025-01-23
Applicant: 中国电子科技集团公司第三十研究所
IPC: H04L9/06
Abstract: 本发明公开了一种大码距迭代型线性码的搜索方法及装置,属于密码装置技术领域,包括步骤:向计算机装置输入线性码的搜索参数:n和k,其中n表示码长,k表示线性码的维数,取值均为正整数且满足n>k;利用计算机装置生成维数不小于k的样本搜索空间S;在样本搜索空间S中随机搜索迭代生成矩阵M,并计算其对应线性码的码距d;利用计算机输出单元输出线性码[n,k]的迭代生成矩阵M及码距d。本发明能够实现基于规模较小的迭代生成矩阵生成迭代型线性码,其码距与最优线性码相当,并且具有实现代价低、单轮实现延迟低的优势。
-
公开(公告)号:CN112636899B
公开(公告)日:2022-03-18
申请号:CN202010994280.8
申请日:2020-09-21
Applicant: 中国电子科技集团公司第三十研究所
IPC: H04L9/06
Abstract: 本发明公开了一种轻量化S盒设计方法。本发明能够产生密码性质好的轻量化8比特S盒,其单轮逻辑运算仅涉及4个比特与运算和4个比特异或运算,迭代4轮后差分均匀度为16、非线性度为96且整体平衡(非线性置换);与现有技术相比,通过本发明得到的轻量化8比特S盒在硬件资源低的条件下达到了已知最优的差分均匀度和非线性度等密码学指标,解决了之前轻量化8比特S盒差分均匀度和非线性度等密码性质弱的问题。
-
公开(公告)号:CN112511293B
公开(公告)日:2022-03-18
申请号:CN202010993508.1
申请日:2020-09-21
Applicant: 中国电子科技集团公司第三十研究所
IPC: H04L9/06
Abstract: 本发明涉及通信加密技术领域,本发明公开了一种基于比特与运算的S盒参数化设计方法及存储介质,该方法包括:对选定的S盒规格n,随机选取F2n‑2→F2的布尔函数f1、f2,对S盒的n比特输入数据,依次遍历{0,1,…,2n‑1}所有整数值对应的n比特二元向量,对任意整数值i对应的n比特二元向量,先进行多轮n支广义Feistel结构的轮变换,再进行非线性变换,并对运算结果进行比特组合,得到nn规格的S盒在整数i的数值,最后输出S盒。本发明得到的参数化S盒,具有优良的密码学性质,同时具有较低的软硬件实现代价,能够为组件化可变密码算法的参数化混淆部件提供丰富的选择。
-
公开(公告)号:CN114124351A
公开(公告)日:2022-03-01
申请号:CN202111369458.0
申请日:2021-11-15
Applicant: 中国电子科技集团公司第三十研究所
IPC: H04L9/06
Abstract: 本发明提供了一种非线性不变子的快速计算方法,基于计算机程序执行计算过程,包括:步骤1、设定有效非线性不变子的代数次数;步骤2、根据布尔函数的真值表计算其各分量函数的布尔表达式;步骤3、计算所有汉明重量不超过代数次数的正整数,根据正整数获取系数矩阵;步骤4、引入辅助矩阵对系数矩阵进行扩展得到扩展矩阵,对扩展矩阵进行高斯消元;步骤5、对消元后的矩阵进行行向量判定,根据判定结果将对应的部分行向量转化为布尔表达式;步骤6、计算得到的布尔表达式的所有非零线性组合,若非零线性组合的代数次数为设定的代数次数,则作为非线性不变子输出。本发明提出的方案避免了计算资源和存储资源的浪费,同时极大地提高了计算效率。
-
-
-
-
-
-
-
-
-