[发明专利]基于SAT的不可能差分及零相关路径自动搜索方法在审
| 申请号： | 201710155958.1 | 申请日： | 2017-03-15 |
| 公开（公告）号： | CN107070632A | 公开（公告）日： | 2017-08-18 |
| 发明（设计）人： | 陈少真;张仕伟;任炯炯;田亚;龚涛;洪豆 | 申请（专利权）人： | 中国人民解放军信息工程大学 |
| 主分类号： | H04L9/00 | 分类号： | H04L9/00;H04L9/06 |
| 代理公司： | 郑州大通专利商标代理有限公司41111 | 代理人： | 李伟 |
| 地址： | 450000 河*** | 国省代码： | 河南;41 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于分组密码分析方法技术领域，具体涉及一种基于SAT的不可能差分及零相关路径自动搜索方法，包括以下步骤利用ARX型密码转化约束式；利用布尔可满足约束问题，对约束式进行可满足验证；利用SAT验证对约束式进行验证，与传统的不可能差分（零相关）路径自动搜索算法，不能充分考虑非线性组件的性质，因而不能得出完整、精确的结果相比，本发明基于SAT的不可能差分及零相关路径自动搜索方法具有精确、效率等特点，在采用并行的条件下，通常在很快时间得出结果。在计算资源仍然昂贵的今天，具有很好的应用价值。由于算法高效，使寻找更长轮数的不可能差分及零相关路径成为可能，加速了不可能差分及零相关分析的进展。 | ||
| 搜索关键词： | 基于 sat 不可能 相关 路径 自动 搜索 方法 | ||
【主权项】：
一种基于SAT的不可能差分及零相关路径自动搜索方法，其特征在于，包括以下步骤：利用ARX型密码转化约束式；利用布尔可满足约束问题，对约束式进行可满足验证；利用SAT验证对约束式进行验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军信息工程大学，未经中国人民解放军信息工程大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710155958.1/，转载请声明来源钻瓜专利网。
