公开(公告)号：CN119276464A

公开(公告)日：2025-01-07

申请号：CN202411370575.2

申请日：2024-09-29

Applicant: 中国电子科技集团公司第三十研究所

Inventor： 谭豪 ,  董新锋 ,  张文政 ,  苗旭东 ,  申兵 ,  周宇 ,  张馨月 ,  王金波 ,  穆道光 ,  胡建勇 ,  韩羽 ,  吴忧

IPC: H04L9/06

Abstract: 本发明提供一种面向基于置换设计密码算法的差分特征自动化搜索方法，包括：基于差分在各个密码部件中的传播规则，建立模型1；基于加密信息对在密码部件中运算的关系以及差分值与加密信息对之间的关系，建立模型2；利用SMT求解器对模型1进行求解，搜索高概率差分特征，根据模型1中求取的高概率差分特征的输入差分与输出差分，固定模型2中输入差分与输出差分值与模型1一致，利用SMT求解器对模型2进行求解；若模型2有解，则输出高概率差分特征，否则利用模型1搜索新的高概率差分特征。本发明提出的建模方法排除了传统差分搜索方法得到的差分特征可能与实际运算值存在冲突的情况，为基于置换设计密码算法提供了更精确的安全性分析结果。

公开(公告)号：CN119519931A

公开(公告)日：2025-02-25

申请号：CN202411650276.4

申请日：2024-11-19

Applicant: 中国电子科技集团公司第三十研究所

Inventor： 谭豪 ,  董新锋 ,  张文政 ,  申兵 ,  吴忧 ,  苗旭东 ,  周宇 ,  王金波 ,  胡建勇 ,  穆道光 ,  刘刚 ,  张馨月

IPC: H04L9/06

Abstract: 本申请公开了一种面向大位宽的LFSR构造方法及系统，涉及密码、数据安全技术，包括：配置线性反馈移位寄存器(LFSR)第t步的内部状态以及LFSR的更新函数，并根据所述内部状态以及所述更新函数，确定LFSR的状态更新；根据LFSR的状态更新选取l个m级不可约多项式；根据不可约多项式的根，计算对应的比特变换矩阵，并根据各比特变换矩阵计算对角矩阵；选取l维的置换σ，根据置换σ构造由l×l个m维矩阵构成的分块矩阵；基于所述分块矩阵以及设定维度的单位矩阵构造矩阵G，并在矩阵G的特征多项式为本原多项式的情况下，输出矩阵G作为LFSR的状态转移矩阵。本申请的方法支持并行计算，且具有比LOL中LFSR更低的计算复杂度与软硬件实现代价。