[論文レビュー] Braid Group Cryptography

David Garber|ArXiv.org|Nov 26, 2007

Cryptography and Data Security参考文献 48被引用数 23

ひとこと要約

この論文は、同型問題や共役探索問題などのブレード群における難しいアルゴリズム的問題に基づく、公開鍵暗号方式の一つであるブレード群暗号を調査する。鍵交換プロトコル、暗号化方式、および長さに基づく攻撃、線形表現攻撃、サミット集合攻撃といった攻撃法について詳述するとともに、将来の暗号システムのための代替非アーベル群の可能性についても検討する。

ABSTRACT

In the last decade, a number of public key cryptosystems based on com- binatorial group theoretic problems in braid groups have been proposed. We survey these cryptosystems and some known attacks on them. This survey includes: Basic facts on braid groups and on the Garside normal form of its elements, some known algorithms for solving the word problem in the braid group, the major public-key cryptosystems based on the braid group, and some of the known attacks on these cryptosystems. We conclude with a discussion of future directions (which includes also a description of cryptosystems which are based on other non-commutative groups).

研究の動機と目的

• ブレード群に基づく公開鍵暗号方式およびその背後にあるアルゴリズム的問題について包括的な調査を行うこと。
• ブレード群暗号方式に対する既知の攻撃、特に長さに基づく攻撃、サミット集合攻撃、線形表現攻撃の分析を行うこと。
• RSA や Diffie-Hellman に対する部分指数的および量子攻撃を踏まえて、ブレード群に基づく暗号方式の安全性と効率性を評価すること。
• トゥーマス、ポリサイクル、ミラー、グリゴルチュク群などの代替非アーベル群が、後量子暗号のための潜在的基盤として果たせるかを検討すること。
• 非アーベル群に基づく暗号の分野における未解決問題および今後の研究方向性、特に量子攻撃に対して耐性を持つものについて特定すること。

提案手法

• ガーシド型およびビルマン＝コ＝リー正規形を含む、ブレード群の代数的・幾何的構造の調査。
• ブレード群における語問題を解くためのアルゴリズムの提示、例えばデールォワのハンドル削減法や基本群への作用。
• 鍵暗号方式の記述：共役問題および分解問題に基づくアンシェル＝アンシェル＝ゴールドフェルドおよびコ＝リーの鍵交換プロトコル。
• サミット集合（スーパー・サミット、アーリア・サミット、リダクション、ステーブル）を用いた攻撃の分析、および巡回スライディングとヒューリスティックな長さに基づくアプローチ。
• 特にバーロー表現およびローレンス＝クラマー表現を用いた線形表現に基づく攻撃の評価。
• シフトされた共役探索問題、最短ブレード問題、分解問題に基づく最新の暗号方式の調査、アルジェブラ・イラーおよびその cryptanalysis を含む。

実験結果

リサーチクエスチョン

• RQ1 サミット集合技術を用いて、ブレード群における共役探索問題を多項式時間で解けるか？
• RQ2 長さに基づく攻撃は、ブレード群に基づく鍵交換プロトコルを破るのにどの程度効果的か？
• RQ3 バーロー表現やローレンス＝クラマー表現のような線形表現が、ブレード群暗号方式にどのような脆弱性を露呈するか？
• RQ4 トゥーマス群 F やポリサイクル群、ミラー群などの代替非アーベル群が、後量子暗号のための安全で効率的な基盤を提供できるか？
• RQ5 確率的またはヒューリスティックな攻撃がブレード群暗号方式の安全性に与える影響は何か。また、それらをどのように軽減できるか？

主な発見

• サミット集合、特にスーパー・サミット集合やアーリア・サミット集合を用いることで、ブレード群における共役探索問題は解けるが、計算コストが非常に高い。
• 長さに基づく攻撃は、メモリやヒューリスティック最適化技術と組み合わせることで、実用的に特定のブレード群暗号方式を効率的に破ることができる。
• バーロー表現やローレンス＝クラマー表現のような線形表現は、忠実で計算可能な場合に、ブレード群に基づく暗号方式の脆弱性を突くのに利用できる。
• ブレード群に基づく鍵交換方式の一つであるアーリア・エラーラーは、長さに基づく攻撃やその他の代数的攻撃を用いて cryptanalysis された結果、実用的には安全でないことが示された。
• F₂[x] 上の 2×2 行列の半群におけるねじれ共役探索問題は、問題が依然として困難であるため、安全な認証方式の基盤を提供する。
• トゥーマスの群 F、ポリサイクル群、ミラー群などの代替基盤は、新たな暗号方式の可能性を秘めているが、一部はサブグループ距離推定に基づく特殊な攻撃に対して脆弱である。