买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：桂林电子科技大学

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

主权项：1.一种基于求解器确定Grain128a算法立方体的方法，其特征在于，包括如下步骤，S1，构建Grain128a密码算法的可分性质传播模型，根据可分性的传播性质，构建出“复制”模块、“异或”模块和“与”模块的可分性传播模型；同时，对于Grain128a密码算法的轮函数，由于其轮函数可以拆分为“复制”、“异或”和“与”模块的组合，因此对称密码算法的可分性传播模型可以使用“复制”、“异或”和“与”模块的可分性传播模型表示，将轮函数的模型迭代r轮即可得到r轮目标密码算法的可分性传播模型Mr；S2，检测超级多项式的代数次数上界，在Grain128a密码算法的可分性传播模型的基础上，通过添加最大值检测模块从而检测当前选择的立方体所对应的超级多项式的代数次数上界，ki为第i比特的密钥对应的模型变量；S3，自动搜索最优立方索引，在96比特初始向量IV中随机选取n0个变量，并将这些向量的下标存储于集合T中，则集合T中共包含个向量；然后，使用超级多项式的代数次数检测模块，将T中的每个元素分别作为立方变元的下标，分别测试目标密码算法r轮加密后超级多项式的代数次数上界，筛选出代数次数上界最低的超级多项式对应的立方变元在此基础上，再次添加贪婪算法模块，即从向量IVIV0中随机选取n1个变量放入集合IV0中，直到超级多项式代数次数上界达到需求，则停止搜索，IVIV0表示从向量IV中去除IV0中的元素后剩余的部分。

全文数据：

权利要求：

百度查询： 桂林电子科技大学 一种基于求解器确定Grain128a算法立方体的方法及设备