[論文レビュー] A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials.

Reinhold Burger, Albert Heinle|arXiv (Cornell University)|Jul 4, 2014

Coding theory and cryptography参考文献 34被引用数 4

ひとこと要約

本論文は、多変数非可換 Ore多項式環に基づく新しい鍵交換プロトコルを提案する。これは、Boucherらの2010年の方式を拡張し、DuboisとKammererによる2011年のユークリッド環に基づく攻撃に対しても耐性を持つ。プロトコルは非可換代数的構造の利点を維持し、セキュリティを損なわずに柔軟な環の選択を可能にする。

ABSTRACT

In this paper we present a key exchange protocol based on multivariate non-commutative polynomial rings, analogous to the classic Diffie-Hellman method. Ourtechnique extends the proposed scheme of Boucher et al. from 2010. Their method was broken by Dubois and Kammerer in 2011, who exploited the Euclidean domain structure of the chosen ring. However, our proposal is immune against such attacks, without losing the advantages of non-commutative polynomial rings as outlined by Boucher et al. Moreover, our extension is not restricted to any particular ring, but is designed to allow users to readily choose from a large class of rings when applying the protocol.

研究の動機と目的

• Boucherらの2010年の鍵交換プロトコルに存在するセキュリティ脆弱性に対処すること。この脆弱性は、ユークリッド環構造の利用によって解明された。
• 非可換多項式環のパフォーマンスおよび代数的利点を維持しつつ、既知の代数的暗号解析に対して耐性を高めること。
• 特定の環構造に束縛されないプロトコルを設計し、多変数Ore多項式環の広いクラスからユーザーが選択可能とすること。
• 特にGCD計算に依存する攻撃を防ぐために、可換性またはユークリッド環の性質に着目する攻撃に対して、セキュリティを保証すること。

提案手法

• プロトコルは、非可換性および非ユークリッド性の性質を活かした多変数非可換Ore多項式環を、基礎となる代数的構造として採用する。
• 各参加者が私的多項式を生成し、非可換乗算に基づく公開値を交換するという、ディフィー・ヘルマン鍵交換のパラダイムを応用する。
• セキュリティは、非可換多項式系を解く困難さに依存しており、ユークリッドアルゴリズムやGCD計算に依存する攻撃に対して耐性を持つ。
• プロトコルは汎用的設計であり、適切な自己同型および微分作用素を備えた多変数Ore多項式環の広いクラスから、任意のユーザーが選択可能である。
• 共有秘密は非可換乗算によって計算されるため、GCDのような標準的な代数的不変量は暗号解析に効果を発揮しない。
• 可換性またはユークリッド構造に依存しない設計により、DuboisとKammererが2011年に利用した攻撃ベクトルを回避する。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド環構造に依存する攻撃を受けるBoucherらの2010年方式の脆弱性を克服できる非可換鍵交換プロトコルを構築できるか？
• RQ2 非可換多項式環の利点を維持しつつ、既知の代数的暗号解析に対して耐性を持つ方法は何か？
• RQ3 セキュリティや効率を損なわずに、異なる多変数Ore多項式環へどの程度一般化できるか？
• RQ4 GCDやユークリッドアルゴリズムに依存しない非可換環に基づく鍵交換メカニズムを設計することは可能か？

主な発見

• 提案されたプロトコルは、Boucherらの方式が使用した環のユークリッド環構造に依存する2011年のDuboisとKammererの攻撃に対して安全である。
• プロトコルは、Boucherらが当初提唱した非可換多項式環の計算効率および代数的構造の利点を維持している。
• この方法は特定の環に限定されず、適切な自己同型および微分作用素を備えた多変数Ore多項式環の広いクラスから選択可能である。
• プロトコルのセキュリティは、非可換多項式系を解く困難さに依存しており、GCD計算のような標準的な代数的不変量に対しても耐性を持つ。
• プロトコルは、新たな脆弱性を導入することなく、非可換設定へのディフィー・ヘルマンパラダイムの一般化に成功している。