[論文レビュー] Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations

Jacques M. Bahi, Jean-François Couchot+1 more|arXiv (Cornell University)|Dec 6, 2011

Chaos-based Image/Signal Encryption参考文献 15被引用数 4

ひとこと要約

本稿では、数学的に証明された離散的カオス的反復に基づく新しい鍵付きハッシュ関数を提案する。トポロジカルなカオスの性質、例えば初期条件への感受性、一様分布、拡張性を活用することで、強力な拡散性と混同性を実現する。実験結果では、1000ビットのメッセージに対して平均ハミング距離が63〜68ビットを示しており、堅固なセキュリティ特性が確認された。

ABSTRACT

Security of information transmitted through the Internet is an international concern. This security is guaranteed by tools like hash functions. However, as security flaws have been recently identified in the current standard in this domain, new ways to hash digital media must be investigated. In this document an original keyed hash function is evaluated. It is based on chaotic iterations and thus possesses various topological properties as uniform repartition and sensibility to its initial condition. These properties make our hash function satisfy the requirements in this field. This claim is verified qualitatively and experimentally in this research work, among other things by realizing simulations of diffusion and confusion.

研究の動機と目的

• SHA-1 や MD5 といった標準的なハッシュ関数における脆弱性に関する懸念が高まっているのを受けて、それらを解決すること。
• 有限整数領域における数学的に証明されたカオス的ダイナミクスに基づく、新しいハッシュ関数のクラスを開発すること。
• コンピュータ実装においてカオス的挙動が保持されることを保証し、浮動小数点近似による損失を回避すること。
• 定性的および実験的分析を通じて、提案された関数の拡散性および混同性の特性を評価すること。
• トポロジカルなカオスを安全な暗号原始素子の基盤として使用する可能性を示すこと。

提案手法

• ハッシュ関数は、有限二値ベクトル上のカオス的反復（CIs）に基づき構築され、各ステップでどのビットを反転させるかを決定する戦略シーケンス S を使用する。
• 反復関数 F¬ は、状態ベクトル x の位置 s におけるビットを否定関数 ¬ を用いて反転させる。
• システムは、事前に定義された戦略シーケンス S を用いて F¬ を繰り返し適用するマップ G¬ を介して進化し、トポロジカルなカオスを保証する。
• 圧縮関数は SHA-1 をインspirationとしており、状態ベクトルを用い、カオス的更新を繰り返し適用することで160ビットのダイジェストを生成する。
• 拡散性および混同性の性質は、ハミング距離などの拡散・混同メトリクスを用いて分析される。特に、わずかに変更された入力のダイジェスト間のハミング距離が評価される。
• 均一分布および予測不能性のテストとして、一様な入力および極端な入力（例：すべての「0」）を含むさまざまなメッセージタイプに対してシミュレーションが実施される。

実験結果

リサーチクエスチョン

• RQ1 有限整数領域における離散的カオス的反復は、暗号的に安全な鍵付きハッシュ関数を生成できるか？
• RQ2 提案されたハッシュ関数は、シャノンの原則が要請する強力な拡散性および混同性を示すか？
• RQ3 初期条件への感受性や一様分布といったトポロジカルなカオスの性質が、実用的な暗号実装において保持され、活用可能か？
• RQ4 ハッシュ出力の統計的性質（例：ハミング距離）は、理想の暗号的挙動と比較してどうなるか？
• RQ5 トポロジカルなカオスの数学的枠組みを用いて、ハッシュ関数におけるセキュリティ機能を形式的に分析・保証できるか？

主な発見

• 提案されたハッシュ関数は強力な拡散性を示し、N=256 の場合平均ハミング距離が67.57ビット、N=512 の場合が65.13ビット、N=1024 の場合が63.01ビットであり、128ビット出力の理想値64ビットに近く、高い性能を示す。
• 平均変化確率 P は、N=256 の場合52.78%、N=512 の場合51.11%、N=1024 の場合52.10% であり、ほぼ理想の混同挙動を示している。
• 標準偏差 ΔB および ΔP は低く（例：N=256 の場合 8.89 および 6.95）、拡散性能の高い安定性と一貫性を示している。
• 視覚的分析により、極端な入力（例：すべての「0」）に対してもハッシュ値が一様に分布しており、出力に検出可能なパターンが存在しないことが確認された。
• 離散的かつ整数ベースのカオス的反復を用いることで、感度、推移性、拡張性といった強力なトポロジカルなカオスの性質が維持されている。
• 浮動小数点近似による実装の不安定性を避けるために、有限領域におけるカオスの数学的証明を実施することで、混沌と暗号の一般的な落とし穴を回避している。