[論文レビュー] 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$-群の自己同型を用いて、ディフィー・ヘルマン鍵交換の非アーベル一般化を提案する。特に、ハル＝セニORITY群92を一般化する族 $G_n(m,p)$ を構築し、$G_n(m,p)$ の中心的自己同型群がアーベルであることを証明することで、ディフィー・ヘルマン風プロトコルの構築が可能になる。しかし、この方式は $p^{m-1}$ を法とする線形方程式を解くことに還元可能であるため、$ vert\gcd(\beta_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.

研究の動機と目的

• 巡回群から非アーベルなクラス2の冪零 $p$-群へのディフィー・ヘルマン鍵交換プロトコルの一般化を図ること。
• 自己同型を用いて、非アーベル群への離散対数問題の意味的な拡張が可能かどうかを調査し、一般化離散対数問題（GDLP）を定義すること。
• ハル＝セニORITY群92を一般化し、中心的自己同型群がアーベルであるような群族 $G_n(m,p)$ を構築し、提案された鍵交換を可能にする。
• 提案されたプロトコルの安全性を評価すること、特に一般化されたディフィー・ヘルマン問題（GDHP）とその背後にあるGDLPとの関係を検討すること。
• 群論的性質に基づいた安全な非アーベル鍵交換プロトコルを構築するための未解決問題を同定すること。

提案手法

• プロトコルは、クラス2で指数 $p^m$ の非アーベル $p$-群 $G_n(m,p)$ の中心的自己同型群であるアーベル群からの自己同型を用いる。
• アリスとボブはそれぞれ、アーベルな中心的自己同型群から秘密の自己同型を選択し、それを公開生成元 $g$ に作用させ、その画像を交換する。
• 共有秘密は、自己同型の合成を $g$ に作用させることで得られ、中心的自己同型群の可換性に依存する。
• 安全性は、自己同型作用の逆を求める難易度に依存し、$k \in \mathbb{Z}_{p^m}$ に対して $\phi(g) = g^k$ を満たす $k$ を求める問題としてモデル化される。
• プロトコルは $\mathbb{Z}_{p^m}$ 上の整数演算を用いて実装され、群の明示的表現を避けるために、生成元の指数を $p^m$ を法として表現する。
• 攻撃は、自己同型の像の構造を活用して、$p^{m-1}$ を法とする線形合同式に問題を還元することで実行される。

実験結果

リサーチクエスチョン

• RQ1 クラス2の $p$-群の自己同型を用いて、ディフィー・ヘルマン鍵交換を非アーベル群に安全に一般化できるか？
• RQ2 非アーベル $p$-群に中心的自己同型群がアーベルである場合、安全な鍵交換プロトコルを構築できるか？
• RQ3 このような群において、一般化離散対数問題（GDLP）は一般化ディフィー・ヘルマン問題（GDHP）よりも難しいか？
• RQ4 中心的自己同型群がアーベルであるような異なる群を選択することで、提案されたプロトコルを安全にすることができるか？
• RQ5 非アーベル鍵交換プロトコルをGDLPに基づいて安全に構築するための、$p$-群に必要な十分な群論的条件は何か？

主な発見

• ハル＝セニORITY群92の一般化である群 $G_n(m,p)$ は、中心的自己同型群がアーベルであるため、ディフィー・ヘルマン風鍵交換の構築が可能である。
• 秘密の指数 $l$ を $p^{m-1}$ を法とする線形合同式を用いて攻撃者が解けるため、$\gcd(\beta_2, p) = 1$ の場合、鍵交換プロトコルは安全でない。
• 同様の攻撃は $\beta_2 = kp^i$（$1 \leq i < m$）の場合にも成立し、互いに素でない場合にも脆弱性が存在することが示された。
• 群 $G_n(m,p)$ において、一般化ディフィー・ヘルマン問題（GDHP）は一般化離散対数問題（GDLP）よりも厳密に容易である。GDHPは線形方程式を解くことに還元可能である。
• プロトコルは $\mathbb{Z}_{p^m}$ 上の整数演算のみを用いて効率的に実装可能であり、加法と乗法を $p^m$ を法として行うにとどまるため、高速な計算が可能である。
• 論文は、奇数 $p$ のためのミラー $p$-群はすべて特別な性質を持つと予想しており、自己同型群の性質と群の種類の間のより深い構造的関係を示唆している。