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

龙图腾网获悉桂林电子科技大学申请的专利基于SAT的碰撞消息对快速搜索方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119210692B 。

龙图腾网通过国家知识产权局官网在2025-10-03发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411170673.1，技术领域涉及：H04L9/06；该发明授权基于SAT的碰撞消息对快速搜索方法是由李灵琛;鲍灿灿;陈润;韦永壮设计研发完成，并于2024-08-26向国家知识产权局提交的专利申请。

本基于SAT的碰撞消息对快速搜索方法在说明书摘要公布了：本发明公开一种基于SAT的碰撞消息对快速搜索方法，根据目标差分算法的思想，通过构建目标差分算法的SAT模型和满足差分特征的碰撞消息对的SAT验证模型，并组合这两个模型，用求解器对模型求解得到有效碰撞消息对，完成碰撞攻击。该搜索方法优化了碰撞攻击中的构建连接器阶段，具有准确且高效的优势。本发明方法通过SAT技术有效优化了目标差分算法在碰撞攻击中的应用，并将其与碰撞消息对验证算法相结合，可以更快速地搜索碰撞消息对，具有准确且高效的优势。本发明方法适用性广，适用于所有海绵结构及基于S盒大置换的哈希算法碰撞攻击中碰撞消息对的快速搜索。

本发明授权基于SAT的碰撞消息对快速搜索方法在权利要求书中公布了：1.基于SAT的碰撞消息对快速搜索方法，其特征在于，包括如下步骤： 1根据目标差分算法的思想构造连接器的SAT模型： 求经过一轮哈希置换后，满足给定目标差分的所有可能消息对，消息对需要经过一轮置换的非线性层SLayer和线性层L； 对于非线性层，根据差分分布表DDT刻画S盒的仿射子空间，使其差分以概率为1进行传播，而线性层本身差分传播的概率就是1； 将目标差分算法的差分阶段和值阶段合并，构建能够直接输出一系列候选消息对的SAT模型； 给定一个目标差分记为，一轮置换，为了得到经过一轮哈希置换后满足的所有可能的状态对，针对状态对经过置换R的传播分别刻画差分约束和值的约束； 将值约束和差分约束整合到一个SAT模型中，依赖于SAT的性质，差分约束和值约束可以同时存在于一个模型中； 2构建连接器与差分特征对接的SAT模型： 根据哈希算法的结构，使目标差分算法生成的候选消息对满足对应差分特征，并构建SAT模型，使其搜索出满足差分特征的有效消息对； 使用建模方法对加密算法进行约束刻画，通过值传播的刻画和差分传播的刻画来建立构建连接器与差分特征对接的SAT模型； 3组合步骤1和2的两个模型并构建初始条件：组合步骤1和2的两个模型为一个完整的SAT模型，将输出差分前d位为零的高概率差分特征的输入差分作为完整的SAT模型的输入，即，且该特征需满足： 最后一轮输出差分的前d位为零，，i表示比特位索引； 第一轮输入差分不全为零，； 将步骤1刻画的约束与步骤2刻画的约束组合为一个完整SAT模型，设置初始条件将步骤1的输出作为步骤2的输入，则步骤1和2的约束必须同时成立，即生成候选碰撞对的同时验证满足差分特征的有效碰撞对，所以完整的SAT模型将直接输出有效的碰撞消息对； 一条输出差分前d位为0高概率差分特征的输入差分为，第i轮的输出差分为，，步骤1目标差分算法阶段的输入为，步骤2第i轮的差分传播为，，则初始条件由如下语句进行刻画： ； 4使用STP求解器对完整的SAT模型求解，得到碰撞消息对。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人桂林电子科技大学，其通讯地址为：541004 广西壮族自治区桂林市七星区金鸡路1号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。