技术特征：
技术总结
本发明属于分组密码分析方法技术领域，具体涉及一种基于SAT的不可能差分及零相关路径自动搜索方法，包括以下步骤：利用ARX型密码转化约束式；利用布尔可满足约束问题，对约束式进行可满足验证；利用SAT验证对约束式进行验证，与传统的不可能差分（零相关）路径自动搜索算法，不能充分考虑非线性组件的性质，因而不能得出完整、精确的结果相比，本发明基于SAT的不可能差分及零相关路径自动搜索方法具有精确、效率等特点，在采用并行的条件下，通常在很快时间得出结果。在计算资源仍然昂贵的今天，具有很好的应用价值。由于算法高效，使寻找更长轮数的不可能差分及零相关路径成为可能，加速了不可能差分及零相关分析的进展。
技术研发人员：陈少真;张仕伟;任炯炯;田亚;龚涛;洪豆
受保护的技术使用者：中国人民解放军信息工程大学
技术研发日：2017.03.15
技术公布日：2017.08.18