[论文解读] The Diffie-Hellman Key Exchange Protocol and non-abelian nilpotent groups

Ayan Mahalanobis|ArXiv.org|Feb 13, 2006

DNA and Biological Computing参考文献 23被引用 4

一句话总结

本文提出了一种基于2类非交换 $p$-群的非交换广义Diffie-Hellman密钥交换，具体构造了一个广义Hall-Senior群92的家族 $G_n(m,p)$。主要贡献在于证明了 $G_n(m,p)$ 的中心自同构群是阿贝尔群，从而支持一种类似Diffie-Hellman的协议。然而，该方案被证明是不安全的，因为其可归约为模 $p^{m-1}$ 的线性方程求解，当 $ vert eta_2, p) = 1$ 时暴露了严重漏洞。该工作凸显了在非交换群中实现安全密钥交换的挑战，并提出了关于群选择与安全证明的开放问题。

ABSTRACT

In this paper we study a key exchange protocol similar to Diffie-Hellman key exchange protocol using abelian subgroups of the automorphism group of a non-abelian nilpotent group. We also generalize group no.92 of Hall-Senior table \cite{halltable}, for arbitrary prime $p$ and show that for those groups, the group of central automorphisms commute. We use these for the key exchange we are studying.

研究动机与目标

• 将Diffie-Hellman密钥交换协议从循环群推广至2类非交换幂零 $p$-群。
• 研究通过自同构能否有意义地将离散对数问题扩展至非交换群，定义了“广义离散对数问题”（GDLP）。
• 构造一族广义Hall-Senior群92的群 $G_n(m,p)$，其具有阿贝尔中心自同构群，从而支持所提出的密钥交换协议。
• 评估所提协议的安全性，特别是与广义Diffie-Hellman问题（GDHP）及底层GDLP的关系。
• 识别基于群论性质构造安全非交换密钥交换协议的开放问题。

提出的方法

• 协议利用2类、指数为 $p^m$ 的非交换 $p$-群 $G_n(m,p)$ 的阿贝尔中心自同构群中的自同构。
• 爱丽丝和鲍勃各自从阿贝尔中心自同构群中选择一个私有自同构，将其作用于一个公开的生成元 $g$，并交换其像。
• 共享密钥通过在 $g$ 上复合自同构得到，依赖于中心自同构群的交换性。
• 安全性依赖于反转自同构作用的难度，建模为求解 $\phi(g) = g^k$ 中的指数 $k \in \mathbb{Z}_{p^m}$。
• 协议通过 $\mathbb{Z}_{p^m}$ 上的模运算实现，其中元素表示为生成元的乘积，指数模 $p^m$，避免显式表示群结构。
• 攻击通过将问题归约为模 $p^{m-1}$ 的线性同余方程，利用自同构像的结构特征。

实验结果

研究问题

• RQ1 能否通过2类 $p$-群的自同构，安全地将Diffie-Hellman密钥交换推广至非交换群？
• RQ2 在非交换 $p$-群中，若其中心自同构群为阿贝尔群，是否能支持安全的密钥交换协议？
• RQ3 在这些群中，广义离散对数问题（GDLP）是否比广义Diffie-Hellman问题（GDHP）更难？
• RQ4 通过选择具有阿贝尔中心自同构群的不同群，能否使所提协议变得安全？
• RQ5 支持基于GDLP的非交换安全密钥交换的 $p$-群，其必要的和充分的群论条件是什么？

主要发现

• 群 $G_n(m,p)$ 是Hall-Senior群92的推广，其具有阿贝尔的中心自同构群，从而支持构造类似Diffie-Hellman的密钥交换协议。
• 当 $\gcd(\beta_2, p) = 1$ 时，该密钥交换协议不安全，攻击者可利用模 $p^{m-1}$ 的线性同余方程求解出秘密指数 $l$。
• 当 $\beta_2 = kp^i$ 且 $1 \leq i < m$ 时，存在类似攻击，表明该漏洞不仅限于互素情形。
• 在 $G_n(m,p)$ 中，广义Diffie-Hellman问题（GDHP）严格比广义离散对数问题（GDLP）简单，因为GDHP可归约为求解线性方程。
• 该协议可通过仅使用 $\mathbb{Z}_{p^m}$ 上的模运算高效实现，操作限于模 $p^m$ 的加法与乘法，支持快速计算。
• 本文推测：对奇素数 $p$，每个Miller $p$-群均为特殊群，暗示自同构群性质与群类型之间存在更深层次的结构联系。