[论文解读] Cryptanalysis of shifted conjugacy authentication protocol

Jonathan Longrigg, Alexander Ushakov|ArXiv.org|Aug 14, 2007

Advanced Authentication Protocols Security被引用 4

一句话总结

本文通过将带位移共轭搜索问题（ShCSP）约化为辫群中的共轭搜索问题（CSP），对基于位移共轭的认证协议进行了实用型密码分析。该攻击利用了辫群中心化子的结构性质，在 $B_{80}$ 中密钥长度为 800 的情况下，成功破解了 92% 的情况，表明该协议在标准密钥生成条件下不安全。

ABSTRACT

In this paper we present the first practical attack on the shifted conjugacy-based authentication protocol proposed by P. Dehornoy. We discuss the weaknesses of that primitive and propose ways to improve the protocol.

研究动机与目标

• 分析基于辫群运算的 Dehornoy 位移共轭认证协议的安全性。
• 研究带位移共轭搜索问题（ShCSP）的计算困难性及其向标准共轭搜索问题（CSP）约化的可能性。
• 识别导致协议可被实际破解的密钥生成缺陷。
• 提出改进的密钥生成策略，通过控制中心化子结构来抵御所提出的攻击。

提出的方法

• 通过使用移位算子和辫群恒等式，将位移共轭方程转化为标准共轭方程，从而将 ShCSP 约化为 CSP。
• 在 $B_{n+1}$ 中使用超顶峰集（USS）算法求解变换后辫对的共轭搜索问题。
• 在关键辫的中心化子的一个子群 $C'$ 内执行启发式搜索，以寻找共轭方程的解。
• 该方法依赖于候选解的长度 $|p'^{-1}(s_i * p)|_{\Delta_{n+1}}$ 作为启发式策略，以引导搜索过程。
• 攻击实现中设置了时间限制（USS 为 1 小时，循环 C 为 15 分钟），以模拟实际约束条件。
• 对密钥生成过程进行分析，以识别攻击失败的条件，特别是与中心化子大小和辫的刚性相关的因素。

实验结果

研究问题

• RQ1 带位移共轭搜索问题（ShCSP）是否可在辫群中约化为标准共轭搜索问题（CSP）？
• RQ2 为何该攻击在某些密钥长度和辫群阶数下具有高成功率？
• RQ3 辫的哪些结构性质（如中心化子大小、刚性）会影响攻击的成功率？
• RQ4 如何修改密钥生成方式以避免暴露于该攻击的漏洞？
• RQ5 基于辫长度的启发式方法是否有效引导了对 ShCSP 解的搜索？

主要发现

• 在 $B_{80}$ 中密钥长度为 800 的情况下，该攻击在 92% 的情况下成功破解协议，其中 92% 的情况恢复了原始私钥。
• 在 $B_{40}$ 中，密钥长度为 400 时成功率高达 99%，表明该攻击随密钥长度增加而具有良好可扩展性。
• 在 $B_{10}$ 中，即使密钥长度为 100，协议也以 100% 的成功率被破解，表明其在小辫群中完全不安全。
• 在 $B_{80}$ 中密钥长度为 100 时，步骤 A（CSP 求解）的失败率最高（59%），表明较短密钥会增加共轭问题求解的难度。
• 在 $B_{80}$ 中密钥长度为 100 时，循环 C（中心化子搜索）的失败率最高（95.12%），原因是较大的中心化子使得 $C'$ 无法良好逼近完整中心化子。
• 当共轭搜索问题难以求解，或关键辫的中心化子为大且非阿贝尔结构时，攻击会失败，表明此类结构可有效抵御该攻击。