公开(公告)号：CN118802110A

公开(公告)日：2024-10-18

申请号：CN202310396041.6

申请日：2023-04-14

Applicant: 桂林电子科技大学

Inventor： 韦永壮 ,  朱程辉 ,  叶涛 ,  李灵琛 ,  武小年

IPC: H04L9/06 ,  H04L9/08 ,  H04L9/30

Abstract: 本发明涉及信息安全属于计算机领域，具体是指一种基于求解器确定Grain128a算法立方体的方法及设备，该方法包括如下步骤，S1，构建Grain128a密码算法的可分性质传播模型；S2，检测超级多项式的代数次数上界，在Grain128a密码算法的可分性传播模型的基础上，通过添加最大值检测模块#imgabs0#从而检测当前选择的立方体所对应的超级多项式的代数次数上界，ki为第i比特的密钥对应的模型变量；S3，自动搜索最优立方索引，添加贪婪算法模块，直到超级多项式代数次数上界达到需求，则停止搜索，相对现有技术，本发明的方法将启发式算法与可分性结合，减少了搜索空间，达到提高工作效率的效果，该方法在对称密码算法的安全性分析领域具有非常广泛的应用。

公开(公告)号：CN118802111A

公开(公告)日：2024-10-18

申请号：CN202310401932.6

申请日：2023-04-14

Applicant: 桂林电子科技大学

Inventor： 韦永壮 ,  朱程辉 ,  叶涛 ,  李灵琛 ,  武小年

IPC: H04L9/06 ,  G06F21/55

Abstract: 本发明涉及信息安全属于计算机领域，具体是指一种基于求解器确定Trivium算法超级多项式的方法及设备，该方法包括如下步骤，S1:检测标志位与密钥单项式集合之间的映射关系，S2：利用局部子函数重构目标主函数的基本思想，结合已经确定的子函数中可能的密钥单项式集合，重构出目标超级多项式中可能的密钥单项式集合；S3；利用三子集可分性质构造出关于目标密码算法的混合整数线性规划模型，并在重构出的目标超级多项式中可能的密钥单项式集合中进行筛选，精确得到每一个项的系数，快速恢复出精确的超级多项式表达式，本发明能够快速恢复超级多项式的具体形式，提高对称密码算法立方分析的效率，能够广泛应用于对称密码算法的设计与分析场景。