[論文レビュー] Cryptanalysis of shifted conjugacy authentication protocol

Jonathan Longrigg, Alexander Ushakov|ArXiv.org|Aug 14, 2007

Advanced Authentication Protocols Security被引用数 4

ひとこと要約

本稿では、ブレード群における共役探索問題（CSP）へのシフト付き共役探索問題（ShCSP）の還元を通じて、シフト付き共役に基づく認証プロトコルの実用的で暗号解析を提示する。攻撃はブレード群の中心化群の構造的性質を活用し、$B_{80}$ における鍵長800の状況で92%の確率でプロトコルを破る。これは、標準的な鍵生成条件下でプロトコルが安全でないことを示している。

ABSTRACT

In this paper we present the first practical attack on the shifted conjugacy-based authentication protocol proposed by P. Dehornoy. We discuss the weaknesses of that primitive and propose ways to improve the protocol.

研究の動機と目的

• ブレード群の演算に基づくDehornoyのシフト付き共役認証プロトコルの安全性を分析すること。
• シフト付き共役探索問題（ShCSP）の計算的困難さと、標準的な共役探索問題（CSP）への還元可能性を調査すること。
• 鍵生成における弱みを特定し、プロトコルの実用的破壊可能性を解明すること。
• 中心化群の構造を制御することで、提案された攻撃を防ぐ改善された鍵生成戦略を提唱すること。

提案手法

• シフト作用素とブレード群の恒等式を用いて、シフト付き共役方程式を標準的な共役方程式に変換することで、ShCSPをCSPに還元する。
• 変換されたブレードペアの共役探索問題を、$B_{n+1}$ で超頂点集合（USS）アルゴリズムを用いて解く。
• 鍵ブレードの中心化群の部分群 $C'$ 内で、共役方程式の解を見つけるためのヒューリスティック探索を実行する。
• 候補解の長さ $|p'^{-1}(s_i * p)|_{\Delta_{n+1}}$ をヒューリスティックとして用い、探索をガイドする。
• 実用的制約を模倣するため、USSに1時間、ループCに15分の時間制限を設けて攻撃を実装する。
• 中心化群のサイズとブレードの剛性に関連する条件を特定することで、鍵生成の分析を行い、攻撃が失敗する状況を特定する。

実験結果

リサーチクエスチョン

• RQ1 ブレード群において、シフト付き共役探索問題（ShCSP）は、標準的な共役探索問題（CSP）に還元可能か？
• RQ2 特定の鍵長とブレード群のランクに対して、なぜ攻撃が高確率で成功するのか？
• RQ3 ブレードの構造的性質（例えば、中心化群のサイズ、剛性）が攻撃の成功率に与える影響は何か？
• RQ4 この攻撃が露呈した脆弱性を回避するため、どのように鍵生成を変更できるか？
• RQ5 ブレードの長さに基づくヒューリスティックは、ShCSPの解の探索を効果的にガイドできるか？

主な発見

• 鍵長800の $B_{80}$ において、プロトコルは92%の確率で破られ、そのうち92%が元の秘密鍵を回復した。
• $B_{40}$ では、鍵長400で成功率が99%に達し、鍵長の増加に伴い攻撃のスケーラビリティが良好であることが示された。
• $B_{10}$ では、鍵長100でも100%の成功率でプロトコルが破壊されたため、小さなブレード群では安全でないことが明らかになった。
• $B_{80}$ で鍵長100の場合、ステップA（CSPの解法）の失敗率が最も高く（59%）、これは短い鍵が共役問題の解法を困難にしていることを示している。
• ループC（中心化群探索）の失敗率は、$B_{80}$ で鍵長100の際に最も高く（95.12%）なっており、これは大きな中心化群が $C'$ を完全な中心化群の良い近似としないことによる。
• 共役探索問題が困難である場合、または鍵ブレードの中心化群が大きく非アーベルである場合には攻撃が失敗するため、このような構造は攻撃に対して耐性を持つ可能性がある。