[论文解读] A Diffie-Hellman Key Exchange Using Matrices Over Non Commutative Rings

Mohammad Eftekhari|arXiv (Cornell University)|Sep 27, 2012

graph theory and CDMA systems参考文献 9被引用 5

一句话总结

本文提出了一种基于有限域 Fq 上对称群 S₃ 的群代数 Fq[S₃] 上的 2×2 可逆矩阵的非交换 Diffie-Hellman 密钥交换方案，该代数为非交换环，旨在抵御利用行列式和特征值的离散对数攻击。该协议通过共轭运算隐藏指数运算，且作者证明标准基于特征值或共轭搜索的攻击因非交换结构而失效，从而为密钥交换提供了一个安全平台。

ABSTRACT

We consider a key exchange procedure whose security is based on the difficulty of computing discrete logarithms in a group, and where exponentiation is hidden by a conjugation. We give a platform-dependent cryptanalysis of this protocol. Finally, to take full advantage of this procedure, we propose a group of matrices over a noncommutative ring as platform group

研究动机与目标

• 为解决有限域上基于矩阵的 Diffie-Hellman 协议的脆弱性问题，此类协议中的离散对数问题可通过行列式和特征值简化为有限域上的离散对数问题。
• 探索在非交换环上的矩阵群是否可作为密钥交换的安全平台，从而避免此类简化。
• 提出并分析一个具体的平台，使用 GL₂(Fq[S₃])，其中 Fq[S₃] 是有限域上对称群 S₃ 的群代数。
• 证明标准密码分析技术（如特征值分析、共轭搜索和线性表示）在所提出的协议上均失效。
• 通过利用非交换准行列式和非交换环上的矩阵代数，提供一种安全且可实现的密钥交换机制。

提出的方法

• 使用非交换环 Fq[S₃]（即有限域 Fq 上对称群 S₃ 的群代数）上的矩阵，构建密钥交换的平台群。
• 通过共轭运算隐藏指数运算：共享密钥为 TXᵃT⁻¹，其中 T 为秘密共轭矩阵，X 为公开矩阵。
• 将 Baby-Step Giant-Step 算法适配用于计算秘密指数 a，方法为在可能的幂次 Xᵏ 上搜索，并测试候选矩阵 Tₓ,ᵧ 的共轭作用。
• 利用准行列式和非交换行列式（基于 Gelfand-Retakh 定义）在非交换环境下定义矩阵不变量，避免依赖交换行列式的性质。
• 通过使用对角块可逆的分块上三角形式构造 GL₂(Fq[S₃]) 中的可逆矩阵，确保可逆性并支持高效的密钥生成。
• 应用 Wedderburn 定理将 Fq[S₃] 分解为 Fq ⊕ Fq ⊕ Mat₂(Fq)，从而计算出 |GL₂(Fq[S₃])| = q⁸(q−1)⁸(q+1)⁴(q²+1)(q²+q+1)，用于估计群阶和选择安全参数。

实验结果

研究问题

• RQ1 在如 Fq[S₃] 这类非交换环上的矩阵群是否能抵御标准离散对数攻击？这些攻击在交换矩阵群中常利用行列式和特征值结构。
• RQ2 在 GL₂(Fq[S₃]) 中，通过共轭隐藏指数运算是否能防止已知的密码分析技术，如特征值约化或共轭搜索？
• RQ3 能否构建一个安全且可高效实现的密钥交换协议，使用非交换环上的矩阵，从而避免有限域矩阵群的缺陷？
• RQ4 GL₂(Fq[S₃]) 的大小和结构如何？其群阶如何支持选择高阶元素以实现密码学安全？
• RQ5 由于 Xᵃ 在共轭形式 TXᵃT⁻¹ 中被隐藏，标准算法如 Baby-Step Giant-Step 或 Pollard’s rho 在多大程度上仍不适用？

主要发现

• 该协议能抵御标准离散对数攻击，因为在非交换环中，即使 det(X) = 1，也无法通过交换结构将问题简化为 Fq* 上的问题。
• Xᵃ 的共轭类对攻击者不可知，与辫群协议不同，因此基于共轭类内搜索的攻击无效。
• 通过使用准行列式和非交换行列式，可在非交换环境下定义矩阵不变量，避免依赖交换行列式的性质。
• 群 GL₂(Fq[S₃]) 的阶为 |GL₂(Fq[S₃])| = q⁸(q−1)⁸(q+1)⁴(q²+1)(q²+q+1)，当 |Fq| ≃ 2⁴⁰ 时，可选择阶 ≥2⁸⁰ 的元素以确保安全性。
• 经适配的 Baby-Step Giant-Step 算法时间复杂度为 O(max(n, q²))，其中 n 为 X 的阶；作者建议设置 |Fq| ≃ 2⁴⁰ 且 n ≥ 2⁸⁰ 以实现实际安全。
• 所提出的平台对线性表示攻击具有安全性，因为非交换环结构阻止了问题被约化为有限域上的矩阵群。