[论文解读] Braid Group Cryptography

David Garber|ArXiv.org|Nov 26, 2007

Cryptography and Data Security参考文献 48被引用 23

一句话总结

本文综述了辫子群密码学，这是一类基于辫子群中困难算法问题（如共轭搜索问题）的公钥密码系统。文章详细介绍了密钥交换协议、加密方案以及各类攻击方法——包括长度攻击、线性表示攻击和顶峰集攻击——同时探讨了作为未来密码系统平台的其他非阿贝尔群。

ABSTRACT

In the last decade, a number of public key cryptosystems based on com- binatorial group theoretic problems in braid groups have been proposed. We survey these cryptosystems and some known attacks on them. This survey includes: Basic facts on braid groups and on the Garside normal form of its elements, some known algorithms for solving the word problem in the braid group, the major public-key cryptosystems based on the braid group, and some of the known attacks on these cryptosystems. We conclude with a discussion of future directions (which includes also a description of cryptosystems which are based on other non-commutative groups).

研究动机与目标

• 提供基于辫子群及其底层算法问题的公钥密码系统的全面综述。
• 分析已知的辫子群密码系统攻击方法，包括长度攻击、顶峰集攻击和线性表示攻击。
• 在RSA和Diffie-Hellman面临次指数攻击与量子攻击的背景下，评估基于辫子群的密码系统的安全性和效率。
• 探索替代的非阿贝尔群（如汤普森群、可解群、米勒群和格里戈里丘克群）作为后量子密码学潜在平台的可能性。
• 识别非阿贝尔群密码学中的开放问题及未来研究方向，特别是对量子攻击具有抗性的方向。

提出的方法

• 调查辫子群的代数与几何结构，包括加尔西德和比尔曼-科-李标准形。
• 介绍求解辫子群中字问题的算法，如德霍伊诺的把手约化法及其在基本群上的作用。
• 描述关键密码系统：基于共轭问题和分解问题的安舍尔-安舍尔-戈德菲尔德与科-李密钥交换协议。
• 分析利用顶峰集（超级顶峰集、超顶峰集、约化顶峰集、稳定顶峰集）、循环滑动及启发式长度攻击方法的攻击。
• 评估基于线性表示的攻击，特别是伯劳和劳伦斯-克拉默表示。
• 综述基于移位共轭搜索问题、最短辫子问题及分解问题的新型密码系统，包括代数消融及其密码分析。

实验结果

研究问题

• RQ1 能否使用顶峰集技术在多项式时间内求解辫子群中的共轭搜索问题？
• RQ2 长度攻击在破坏基于辫子群的密钥交换协议方面有多高效？
• RQ3 像伯劳和劳伦斯-克拉默这样的线性表示在多大程度上暴露了辫子群密码系统的漏洞？
• RQ4 替代的非阿贝尔群（如汤普森群、可解群或格里戈里丘克群）能否为后量子密码学提供安全且高效的平台？
• RQ5 概率性或启发式攻击对辫子群密码系统安全性的影响是什么，以及如何加以缓解？

主要发现

• 通过顶峰集（包括超级顶峰集和超顶峰集）可求解辫子群中的共轭搜索问题，但这些方法计算开销较大。
• 长度攻击在实践中可高效破坏某些基于辫子群的密码系统，尤其是当结合内存优化或启发式技术时。
• 线性表示（如伯劳和劳伦斯-克拉默表示）可被利用来破坏基于辫子群的密码系统，尤其当表示是忠实且可计算时。
• 代数消融（一种基于辫子群的密钥交换协议）已被长度攻击及其他代数攻击破译，表明其在实践中不安全。
• 在F₂[x]上2×2矩阵半群中的扭曲共轭搜索问题为安全认证方案提供了基础，因为该问题仍保持困难。
• 替代平台如汤普森群F、可解群和米勒群为新型密码系统提供了潜力，但部分平台易受基于子群距离估计的专门攻击影响。