[论文解读] Aspects of Nonabelian Group Based Cryptography: A Survey and Open Problems

Benjamin Fine, Maggie Habeeb+2 more|arXiv (Cornell University)|Mar 21, 2011

Coding theory and cryptography参考文献 7被引用 12

一句话总结

本文综述了非阿贝尔群基密码学，重点关注非交换平台（如辫群和多循环群）在密钥交换、数字签名和身份认证中的应用。介绍了关键协议（如Anshel-Anshel-Goldfeld和Ko-Lee协议），通过算法问题（如共轭问题和共轭子搜索问题）分析其安全性，并建立了关于通用自由群性质和渐近密度的理论结果，全面概述了该领域中的开放问题。

ABSTRACT

Most common public key cryptosystems and public key exchange protocols presently in use, such as the RSA algorithm, Diffie-Hellman, and elliptic curve methods are number theory based and hence depend on the structure of abelian groups. The strength of computing machinery has made these techniques theoretically susceptible to attack and hence recently there has been an active line of research to develop cryptosystems and key exchange protocols using noncommutative cryptographic platforms. This line of investigation has been given the broad title of noncommutative algebraic cryptography. This was initiated by two public key protocols that used the braid groups, one by Ko, Lee et.al.and one by Anshel, Anshel and Goldfeld. The study of these protocols and the group theory surrounding them has had a large effect on research in infinite group theory. In this paper we survey these noncommutative group based methods and discuss several ideas in abstract infinite group theory that have arisen from them. We then present a set of open problems.

研究动机与目标

• 综述非阿贝尔群基密码系统，作为传统数论公钥系统的替代方案。
• 基于共轭问题和共轭子搜索问题等算法问题，分析非阿贝尔群密码学的安全性基础。
• 探讨渐近群论和通用复杂性在评估密码平台群中的作用。
• 识别并呈现平台群选择、协议设计、复杂性分析以及量子抗性方面的开放问题。
• 将研究范围从辫群扩展至多循环群及其他非阿贝尔结构在密码学应用中的使用。

提出的方法

• 利用组合群论和线性群论作为构建非阿贝尔密码平台的基础框架。
• 将共轭子搜索问题和共轭判定问题作为非阿贝尔群基密码系统中的核心困难性假设。
• 采用渐近密度和通用复杂性来评估在群元素随机实例中求解算法问题的可能性。
• 引入强通用自由群性质和通用自由群性质，以表征在随机采样下群平台的安全性。
• 分析自由积和中心化子的一阶扩张，以确定群满足通用自由群性质的条件。
• 回顾并扩展了在有限指数子群下通用性质继承的结果，尤其在辫群和多循环群中的应用。

实验结果

研究问题

• RQ1 在非交换密码学中，最合适的非阿贝尔群平台是什么？该平台是有限群还是无限群？
• RQ2 我们如何形式化证明新型非阿贝尔密码系统的安全性，包括密钥交换、数字签名和身份认证协议？
• RQ3 在多循环群及其他非阿贝尔群中，共轭问题和共轭子搜索问题的通用情形复杂性是什么？
• RQ4 能否开发出量子算法，以比经典算法更高效地求解多循环群中的关键问题（如共轭子搜索问题）？
• RQ5 计算机代数系统（如GAP）在实现非阿贝尔群基密码系统时，如何实现实际且安全的应用？

主要发现

• 强通用自由群性质在有限指数子群下保持不变，且所有辫群均满足此性质。
• 至少一个因子阶大于2的群的自由积满足通用自由群性质。
• 若B/N_B(U)对B中非平凡元素U为无限，则群B的中心化子的一阶扩张满足强通用自由群性质。
• 继承定理表明：若某个性质在有限指数子群中为通用且合适，则其在整个群中也保持通用且合适。
• 多循环群表现出复杂的算法行为；在自由群中，集合算法和Reidemeister-Schreier重写算法的复杂性仍是开放问题。
• 存在量子算法可在多项式时间内计算有限可解群的阶，表明在解决某些群论问题时可能存在量子加速的潜力。