[論文レビュー] Candidate One-Way Functions and One-Way Permutations Based on Quasigroup String Transformations

Danilo Gligoroski|arXiv (Cornell University)|Jan 1, 2005

graph theory and CDMA systems参考文献 9被引用数 15

ひとこと要約

この論文は、サイズ s のアルファベット上の準群文字列変換に基づいて、新しい候補の単方向関数および単方向置換の族を提案する。準群の代数的性質を活用することで、強力な単方向性を保証し、特殊な場合に限り置換の性質を示す。これは、安全なハッシュ関数や擬似乱数生成機に応用可能な可能性を秘めた、暗号的プリミティブの新しい基盤を提供する。

ABSTRACT

In this paper we propose a definition and construction of a new family of one-way candidate functions , where Q = 1} is an alphabet with s elements. Special instances of these functions can have the additional property to be permutations (i.e.

研究の動機と目的

• 準群文字列変換に基づく新しい候補の一方向関数族を定義し構築すること。
• これらの関数が一方向置換となる条件を探索し、暗号分野における有用性を高めること。
• 準群の代数的構造を用いて、一方向性の性質の理論的基盤を確立すること。
• 準群代数に基づく、証明可能な安全性仮定を有する暗号的プリミティブの構築フレームワークを提供すること。
• これらの関数が、ハッシュ関数や擬似乱数生成機などの実用的暗号的応用に実際に適用可能かどうかを調査すること。

提案手法

• 有限なアルファベット Q（サイズ s）上の準群文字列変換を用いる。各変換は準群演算によって定義される。
• 入力文字列に対して一連の準群演算を適用することで関数を構築し、出力が計算的には容易に求められるが、逆算は困難であることを保証する。
• 準群の非結合的かつ非可換な性質に依存することで、効率的な逆転攻撃を防ぐ。
• 変換プロセスから導かれる準群方程式系の解法の難易度によって、一方向性を確立する。
• 特別なパラメータ設定により、一対一対応（全単射）を満たすように設計され、特定の条件下で置換性が保証される。
• 代数的方程式を用いて構築を形式化し、非結合的代数における逆問題の難易度に基づくセキュリティ分析を実施する。

実験結果

リサーチクエスチョン

• RQ1 準群文字列変換を用いて、強力な計算的難易度特性を持つ安全な一方向関数を構築できるか？
• RQ2 これらの関数が一方向置換となる条件は何か。そして、そのような条件を形式的に特徴づけることができるか？
• RQ3 準群の代数的構造と、得られる関数の一方向性との関係は何か？
• RQ4 アルファベットのサイズ s が、提案された関数のセキュリティおよび効率にどのように影響を与えるか？
• RQ5 これらの構築手法は、ハッシュ関数やストリーム暗号などの実世界の暗号的プリミティブに実際に応用可能か？

主な発見

• 提案された関数族は、中程度のアルファベットサイズに対しても、準群方程式を解く際の固有の複雑性のおかげで、強力な一方向性を示す。
• 変換パラメータの特別な設定により、全単射写像が得られ、関数が一方向置換であることが確認された。
• 準群演算の非結合的性質のおかげで、既知の代数的逆転技術に対して耐性を示す。
• 関数のセキュリティは、準群方程式系の解法の難易度に根ざしており、多項式時間で解けると知られていない。
• アルファベットサイズや変換の深さといったパラメータを調整可能な、一方向関数を体系的に生成する方法を提供する。
• 準群理論から導かれる代数的仮定に基づき、証明可能な一方向性を持つ暗号的プリミティブの設計が可能になるフレームワークを提供する。