-
公开(公告)号：CN119210692A
公开(公告)日：2024-12-27
申请号：CN202411170673.1
申请日：2024-08-26
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于SAT的碰撞消息对快速搜索方法，根据目标差分算法的思想，通过构建目标差分算法的SAT模型和满足差分特征的碰撞消息对的SAT验证模型，并组合这两个模型，用求解器对模型求解得到有效碰撞消息对，完成碰撞攻击。该搜索方法优化了碰撞攻击中的构建连接器阶段，具有准确且高效的优势。本发明方法通过SAT技术有效优化了目标差分算法在碰撞攻击中的应用，并将其与碰撞消息对验证算法相结合，可以更快速地搜索碰撞消息对，具有准确且高效的优势。本发明方法适用性广，适用于所有海绵结构及基于S盒大置换的哈希算法碰撞攻击中碰撞消息对的快速搜索。
Search Results
1
records
(took 0.023 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
