[論文レビュー] Tight exponential evaluation for information theoretical secrecy based on universal composablity

Masahito Hayashi|arXiv (Cornell University)|Oct 7, 2010

Wireless Communication Security Techniques被引用数 4

ひとこと要約

本稿では、情報理論的セキュリティにおいて、L₁距離とs ∈ [0,1] のRenyiエントロピーの1+s次を用いて、盗聴者による区別可能性のタイトな指数的バウンドを提案する。この研究では、i.i.d.設定においてuniversal2ハッシュ関数が指数的減衰率の最適値を達成することを確立し、ワイヤータップチャネルや公開議論を用いた秘密鍵分散への応用を示している。

ABSTRACT

Motivated by the desirability of universal composability, we analyze in terms of L_1 distinguishability the task of secret key generation from a joint random variable. Under this secrecy criterion, using the Renyi entropy of order 1+s for s in [0,1, we derive a new upper bound of Eve's distinguishability under the application of the universal2 hash functions. It is also shown that this bound gives the tight exponential rate of decrease in the case of independent and identical distributions. The result is applied to the wire-tap channel model and to secret key generation (distillation) by public discussion.

研究の動機と目的

• 秘密鍵生成のための普遍的合成性基準として、L₁区別可能性に基づくものを作成すること。
• Eveが秘密鍵と一様ランダム変数を区別できる能力のタイトな上界を、1+s次のRenyiエントロピーを用いて導出すること。
• i.i.d.ソースの場合に、このバウンドが指数的減衰率の最適値に達することを示すこと。
• 得られたバウンドを、ワイヤータップチャネルや公開議論を用いた秘密鍵抽出プロトコルを含む実用的セキュリティモデルに応用すること。

提案手法

• 秘密鍵と一様ランダム変数との間の区別可能性を測定するため、秘匿性指標としてL₁距離を用いる。
• 盗聴者の視点から見た鍵の不確実性を特徴付けるために、s ∈ [0,1] の1+s次のRenyiエントロピーを用いる。
• 秘密鍵を抽出するために、結合確率変数にuniversal2ハッシュ関数族を適用する。
• universal2ハッシュを施した分布の尾部挙動を分析することでバウンドを導出し、Renyiエントロピーの性質を活用する。
• i.i.d.ソースに対して、区別可能性の指数的減衰率を漸近的に評価し、タイトさを示す。
• この手法をワイヤータップチャネルモデルおよび公開議論を伴う秘密鍵抽出プロトコルへと拡張する。

実験結果

リサーチクエスチョン

• RQ1 普遍的合成性の下で、秘密鍵生成における盗聴者による区別可能性の、最もタイトな指数的減衰率は何か？
• RQ2 universal2ハッシュを用いる状況において、1+s次のRenyiエントロピーの選択がセキュリティバウンドにどのように影響するか？
• RQ3 この導出バウンドが、漸近的領域におけるi.i.d.ソースに対してタイトであることを示せるか？
• RQ4 提案された基準は、ワイヤータップチャネルのような実用的セキュリティモデルでどのように性能を発揮するか？
• RQ5 公開議論は、この秘匿性枠組み下で最適な鍵生成レートを達成するために果たす役割は何か？

主な発見

• EveのL₁区別可能性に関する提案バウンドは、i.i.d.ソースにおいて指数的レートでタイトである。
• このバウンドは、s ∈ [0,1] の1+s次のRenyiエントロピーを用いて導出されており、普遍的合成性下での秘匿性の洗練された特徴付けを提供する。
• universal2ハッシュ関数の使用により、i.i.d.ケースにおいて区別可能性の最適指数的減衰率が達成される。
• このバウンドは、ワイヤータップチャネルモデルおよび公開議論を用いた秘密鍵抽出の両方に適用可能であり、広範な適用可能性を示している。
• 分析により、L₁距離に基づく秘匿性基準が、鍵生成プロトコルにおける普遍的合成性に適していることが確認された。