[論文レビュー] Cryptanalysis of the Algebraic Eraser and short expressions of permutations as products

Arkadius Kalka, Mina Teicher+1 more|arXiv (Cornell University)|Apr 3, 2008

Coding theory and cryptography参考文献 15被引用数 2

ひとこと要約

本論文は、代数的エラー方式の実装であるカラーブルーエルキー交換プロトコル（CBKAP）に対する暗号解析的攻撃を提示する。この攻撃は、確率的群論的手法を用いて、公開データから共有秘密を回復することを目的としている。著者らは、置換を短いランダム置換の積として表現するためのヒューリスティックなアルゴリズムを導入し、O(n² log n)の表現長をO(n⁴ log n)の時間で達成する。また、CBKAPにおける標準的な鍵分布が、この手法に対して脆弱であることを示している。

ABSTRACT

introduced the Algebraic Eraser scheme for key agreement over an insecure channel. This scheme is based on semidirect products of algebraic structures, and uses a novel hybrid of infinite and finite noncommutative groups. They also introduced the Colored Burau Key Agreement Protocol (CBKAP), a concrete realization of this scheme. We present an efficient method to extract the shared key out of the public information provided by CBKAP, assuming that the keys are chosen with standard distributions. Our methods come from probabilistic group theory, and seem to have not been used before in cryptanalysis. Of independent interest may be a simple heuristic algorithm we propose for finding short expressions of permutations as products of given random permutations. According to heuristic analysis supported by experiments, our algorithm gives expressions of length O(n 2 log n) in running time O(n 4 log n). Remark. We stress that we did not attack the variant of CBKAP actually implemented by SecureRF. This implementation uses proprietary distributions, and instances to attack are not available. We also mention that Dorian Goldfeld, following our attack, has found a distribution which circumvents the attacks presented here.

研究の動機と目的

• 公開情報のみを用いて、カラーブルーエルキー交換プロトコル（CBKAP）における共有秘密鍵を効率的に回復するための手法を開発すること。
• CBKAPにおける標準的な鍵分布が、確率的群論に基づく暗号解析的手法に対してどれほど脆弱であるかを調査すること。
• 与えられたランダム置換の短い積として置換を表現するためのヒューリスティックなアルゴリズムを設計すること。このアルゴリズムは、主な暗号解析的応用とは独立して設計される。
• ヒューリスティック的分析と実験を通じて、提案されたアルゴリズムの表現長および計算効率の有効性を評価すること。

提案手法

• 代数的エラー方式の背後にある半直積構造における要素の分布をモデル化するために、確率的群論を活用する。
• ランダム群要素の統計的性質に基づいて、与えられたランダム置換の積としての置換の短い表現を見つけるためのヒューリスティックなアルゴリズムを適用する。
• カラーブルーエルキー交換プロトコルの構造を活用し、公開データを、置換積アルゴリズムで解ける方程式系にマッピングする。
• 実験的評価とヒューリスティック的分析を用いて、置換積アルゴリズムの平均ケース性能を推定する。
• アルゴリズムによって生成される置換表現の期待長さを分析し、それがO(n² log n)のスケーリングに従うことを示す。
• 短い表現を構築するために必要な演算の数に基づき、アルゴリズムの時間計算量をO(n⁴ log n)と推定する。

実験結果

リサーチクエスチョン

• RQ1 確率的群論的手法を用いて、公開情報のみからカラーブルーエルキー交換プロトコルにおける共有秘密を効率的に回復できるか？
• RQ2 与えられたランダム置換の積としてのランダム置換の短い表現の期待長さはどの程度か？
• RQ3 提案されたヒューリスティックなアルゴリズムは、このような短い表現を構築する際に、時間計算量の観点でどの程度効率的か？
• RQ4 CBKAPにおける標準的な鍵分布は、提案された暗号解析的手法に対してどの程度の脆弱性を露呈するか？
• RQ5 ヒューリスティックなアルゴリズムは、鍵生成に関する現実的な仮定の下で、CBKAPのセキュリティを破るのに使用可能か？

主な発見

• 提案された暗号解析的手法は、鍵が標準的な分布から選ばれる場合、公開情報のみを用いてCBKAPにおける共有秘密を効果的に回復できる。
• ランダム置換をランダム置換の積として表現するためのヒューリスティックなアルゴリズムは、平均でO(n² log n)の表現長を達成する。
• アルゴリズムの時間計算量はO(n⁴ log n)であり、実用的なサイズのインスタンスに対しても実行可能である。
• ヒューリスティック的分析と実験的証拠の両方によって結果が裏付けられており、平均ケースの入力において強力な性能を示している。
• 著者らは、攻撃が実際のSecureRF実装には適用されないことに注意している。これは、攻撃を回避する独自の鍵分布を採用しているためである。
• ドリアン・ゴールドフェルトは、後にこの攻撃を回避する鍵分布を特定し、脆弱性が標準的な分布に特有であることを示している。