[論文レビュー] On some quasigroup cryptographical primitives

Piroska Csörgő, Victor Shcherbacov|arXiv (Cornell University)|Oct 30, 2011

graph theory and CDMA systems参考文献 14被引用数 3

ひとこと要約

本稿は、Vojvodaの枠組みに基づき、準群に基づくストリーム暗号のセキュリティを分析し、 chosen plaintext 攻撃および chosen ciphertext 攻撃に対する脆弱性を示している。本稿では、直交する n-ary 群卓のシステムと、暗号化手順の変更を用いた強化された暗号的プリミティブを提案し、特に n-ary 準群演算と暗号化手順の動的適用順序を統合することで、これらの攻撃に対する耐性を向上させている。

ABSTRACT

We propose modifications of known quasigroup based stream ciphers. Systems of orthogonal n-ary groupoids are used.

研究の動機と目的

• 既存の準群に基づく暗号的プリミティブが chosen plaintext 攻撃および chosen ciphertext 攻撃に対して、どのような脆弱性を有するかを特定し、分析すること。
• 新しい構成および修正を提案することで、n-ary 準群に基づくストリーム暗号のセキュリティを向上させること。
• 直交する n-ary 群卓のシステムを用いた安全なストリーム暗号の構築フレームワークを開発すること。
• 有限アーベル群上の T-準群を用いて、直交する準群およびそのパラストロフィーを生成する方法を検討すること。
• 暗号化手順の非周期的かつ動的な適用順序を提案し、暗号解析技術に対する耐性を高めること。

提案手法

• Vojvodaの枠組みを採用し、準群に基づくプリミティブの chosen plaintext 攻撃および chosen ciphertext 攻撃に対するセキュリティを評価すること。
• n-ary 準群を用い、複数のリーダーと直前の暗号記号への再帰的依存関係を持つ、修正された暗号化手順（アルゴリズム2）を導入すること。
• 各平文記号を n 個の暗号記号にマッピングする新しい手順（手順1）を提案し、n-ary 準群演算を用いること。
• アルゴリズム2と手順1を、無理数または超越数の表現を用いた鍵スケジューリングに基づく非周期的かつシーケンスベースの方法で統合すること。
• 有限アーベル群上での形 $ x \circ y = \varphi x + \psi y + a $ の T-準群を用い、直交する準群およびそのパラストロフィーを構築すること。
• 定理2から得られる理論的条件を適用し、準群とそのパラストロフィーの間の直交性を保証することで、暗号的強度を向上させること。

実験結果

リサーチクエスチョン

• RQ1 文献[26]で提案された準群に基づく暗号的プリミティブは、chosen plaintext 攻撃および chosen ciphertext 攻撃に対して脆弱であるか？
• RQ2 暗号化プロセスの修正によって、n-ary 準群に基づくストリーム暗号のセキュリティを向上させることができるか？
• RQ3 直交する n-ary 群卓のシステムは、準群に基づく暗号の cryptanalysis に対する耐性をどのように強化するか？
• RQ4 有限アーベル群上の T-準群を用いて、そのパラストロフィーと直交する準群を生成する方法は何か？
• RQ5 暗号化手順の非周期的適用順序は、chosen plaintext 攻撃および chosen ciphertext 攻撃の困難さを顕著に高めることができるか？

主な発見

• Vojvodaの枠組みを用いた分析により、文献[26]で提案された準群に基づくプリミティブが、chosen plaintext 攻撃および chosen ciphertext 攻撃の両方に対して脆弱であることが示された。
• 複数のリーダーの使用とアルゴリズム2における再帰的暗号化の導入により、暗号解析の複雑性が向上した。
• 手順1は、n-ary 準群演算を用いて各平文記号を n 個の暗号記号にマッピングするため、拡散性が向上し、統計的攻撃に対する耐性が高まった。
• 非周期的適用順序（例えば、無理数の小数展開から得られるもの）の統合により、chosen plaintext 攻撃および chosen ciphertext 攻撃の困難さが顕著に増加した。
• p が素数である $ \mathbb{Z}_p $ 上の形 $ x \circ y = kx + my + a $ の T-準群は、係数が特定の非退化条件を満たす場合、すべてのパラストロフィーと直交するように構築可能である。
• 定理2の理論的条件により、特定の自己同型の組み合わせが基になる群の置換である場合、T-準群とそのパラストロフィーの間の直交性が保証される。