一种基于MILP的Tweakable GOST2差分路线搜索方法

摘要

本发明公开了一种针对TweakableGOST2算法自动化搜索差分路径的方法。本发明提供了两种添加Tweak的方法，并提出针对TweakableGOST2算法搜索差分路径的方法。在字节层面，通过分析TweakableGOST2算法之间的传播特性，使用MILP模型去建立TweakableGOST2算法各组件的具体模型，进行求解，若有则得到TweakableGOST2算法最小活跃S盒的具体数量和活跃S盒所在位置。然后根据TweakableGOST2算法的S盒求出TweakableGOST2算法的差分分布表和差分模式P，使用SAGEMATH不等式生成器可以得到TweakableGOST2的P凸包的H‑表示，由此得到不等式组，然后使用贪心法削减不等式的数量，得到最终的不等式组；在比特层面，利用MILP模型对TweakableGOST2算法进行建模，利用求解得到的S盒信息，得到高概率的差分路线。本发明可以较快地找出TweakableGOST2算法活跃S盒及其差分特征。