[論文レビュー] Classical and quantum security analysis via smoothing of Renyi entropy of order 2

Masahito Hayashi|arXiv (Cornell University)|Feb 1, 2012

Chaos-based Image/Signal Encryption参考文献 20被引用数 5

ひとこと要約

この論文は、特にǫ-almost dual universal2ハッシュ関数を用いて、古典的および量子的設定におけるセキュリティ解析を拡張する。Rényiエントロピーの2次の平滑化を用い、ユニバーサルコンpositions（UC）および相互情報量基準の下でタイトなセキュリティバウンドを導出することで、誤り訂正を伴うより優れた秘密鍵生成が可能になる。

ABSTRACT

It is known that the security evaluation can be done by smoothing of Renyi entropy of order 2 in the classical ans quantum settings when we apply universal2 hash functions. This fact can be extended to the case when we apply ǫ-almost dual universal2 hash functions. Demonstrating the smoothing of Renyi entropy of order 2, we derived security bounds for universal composability and mutual information criterion under the condition in the classical and quantum setting. Further, we apply this analysis to the secret key generation with error correction.

研究の動機と目的

• Rényiエントロピーの2次を用いたセキュリティ解析を、古典的および量子的設定におけるǫ-almost dual universal2ハッシュ関数に一般化すること。
• エントロピーの平滑化を用いて、ユニバーサルコンポジション（UC）および相互情報量基準の下で、厳密なセキュリティバウンドを確立すること。
• 導出されたバウンドを、誤り訂正を伴う秘密鍵生成という実用的問題に適用すること。
• 共通のエントロピーに基づく解析手法を通じて、古典的および量子的セキュリティフレームワークを統合すること。

提案手法

• セキュリティ評価のためのコアな分析ツールとして、Rényiエントロピーの2次の平滑化を用いる。
• 標準的なuniversal2族を超えて、ǫ-almost dual universal2ハッシュ関数にこの手法を適用する。
• 平滑化されたRényiエントロピーを用いて、ユニバーサルコンポジション（UC）フレームワーク下でのセキュリティバウンドを導出する。
• 同じフレームワークを相互情報量に基づくセキュリティ基準に適用し、異なる脅威モデルへの適用可能性を保証する。
• 誤り訂正を鍵生成プロセスに統合しつつ、エントロピーの平滑化によってセキュリティ保証を維持する。
• Rényiエントロピーおよびユニバーサルハッシュの既知の性質を活用して、タイトで解析的に取り扱いやすいバウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 Rényiエントロピーの2次をどのように平滑化すれば、古典的および量子的設定におけるセキュリティバウンドを提供できるか？
• RQ2 ǫ-almost dual universal2ハッシュ関数を用いることで、鍵生成プロトコルのセキュリティにどのような影響を与えるか？
• RQ3 Rényiエントロピーの2次を平滑化することで、UCおよび相互情報量基準の下でのセキュリティ解析を統一できるか？
• RQ4 提案手法は、誤り訂正を伴う秘密鍵生成におけるセキュリティバウンドをどのように改善するか？
• RQ5 このエントロピー平滑化を量子セキュアプロトコルに適用した場合の、定量的セキュリティ限界は何か？

主な発見

• Rényiエントロピーの2次を平滑化することで、古典的および量子的設定におけるセキュリティ評価の統一されたフレームワークが得られる。
• この手法により導出されたセキュリティバウンドは、ユニバーサルコンポジションおよび相互情報量基準の両方に適用可能である。
• ǫ-almost dual universal2ハッシュ関数の使用により、分析の範囲が標準的なuniversal2族を超えて拡張される。
• このフレームワークにより、誤り訂正を伴う秘密鍵生成におけるよりタイトで実用的なセキュリティバウンドが可能になる。
• 結果として、エントロピー平滑化が情報理論的プロトコルにおけるセキュリティの定量的評価に強固な分析ツールを提供することが示された。
• この手法により、鍵生成における誤り訂正を適用しても、セキュリティ保証が維持されることを保証する。