[論文レビュー] Dynamic MDS Matrices for Substantial Cryptographic Strength

Muhammad Yasir Malik, Jong‐Seon No|arXiv (Cornell University)|Aug 31, 2011

Cryptographic Implementations and Security参考文献 6被引用数 4

ひとこと要約

本稿では、ブロック暗号における暗号的強度を強化するため、動的かつランダムな最大距離分離（MDS）行列の構築を提案する。有限体上の代数的構成を活用することで、暗号的に強固でありながら鍵に依存する柔軟性を持つMDS行列を生成し、ハードウェアおよびソフトウェア実装における効率性を損なわず、より優れた拡散特性を実現する。

ABSTRACT

Ciphers get their strength from the mathematical functions of confusion and diffusion, also known as substitution and permutation. These were the basics of classical cryptography and they are still the basic part of modern ciphers. In block ciphers diffusion is achieved by the use of Maximum Distance Separable (MDS) matrices. In this paper we present some methods for constructing dynamic (and random) MDS matrices.

研究の動機と目的

• 現代のブロック暗号におけるより強固な拡散メカニズムのニーズに対応するため、MDS行列の設計を改善すること。
• 暗号的強度を維持しつつ、鍵に依存する変動を許容する動的かつランダムなMDS行列の生成手法を開発すること。
• 低複雑性を実現し、ソフトウェアおよびハードウェア実装に適した構築された行列を保証すること。
• MDS特性と高い拡散性を保証する有限体代数に基づく体系的な構築手法を提供すること。
• 変換層の代数的複雑性を高めることで、線形および微分 cryptanalysis に対する耐性を強化すること。

提案手法

• 著者らは、GF(2^n) 上の有限体算術を用いて、鍵情報に基づく動的特性を持つMDS行列を構築する。
• 再帰的構成と巡回型構造を適用することで、実装コストが低いMDS行列を生成する。
• 構築された行列のすべての部分行列がフルランクであることを保証し、MDS条件を満たす。
• 行列要素を秘密鍵ビットでパラメータ化することで、動的性を達成し、鍵に依存する変化を可能にする。
• 行列式が非ゼロで、小行列がフルランクであるといった代数的基準を用いて検証する。
• 乗算回数を最小限に抑え、並列処理を最大化することで、ソフトウェアおよびハードウェアの両方の効率性を支援する。

実験結果

リサーチクエスチョン

• RQ1 秘密鍵に依存する動的変動を許容しつつ、暗号的に強固でかつ動的であるMDS行列をどのように構築できるか？
• RQ2 有限体上でのどの代数的構造が、効率的かつ証明可能に安全な動的特性を有するMDS行列の生成を可能にするか？
• RQ3 動的MDS行列は、実世界の暗号における実装複雑性を低減しつつ、最適な拡散特性を維持できるか？
• RQ4 動的MDS構築において、暗号的強度、ランダム性、計算効率の間のトレードオフは何か？
• RQ5 異なる鍵に依存する行列のインスタンス間で、MDS特性をどのように維持できるか？

主な発見

• 提案手法は、有限体代数に基づき、動的かつ証明可能に安全なMDS行列を効果的に生成した。
• MDS条件のおかげで、最適な拡散特性を達成し、線形および微分 cryptanalysis に対して耐性を持つ。
• 鍵に依存する変動をサポートしており、暗号化セッションごとに一意な行列を生成しつつも、セキュリティを損なわない。
• 計算複雑性が低く、組み込み環境およびハイパフォーマンス環境の両方において適している。
• 著者らは、GF(2^8) 上で再帰的および巡回型構造を用いた手法が、動的MDS行列を効率的に生成できることを示した。
• 行列のすべての小行列が非ゼロであることを保証しており、MDS特性が確認され、したがって最大距離分離が達成されている。