[論文レビュー] Success Exponent of Wiretapper: A Tradeoff between Secrecy and Reliability

Chung Chan|ArXiv.org|May 23, 2008

Wireless Communication Security Techniques参考文献 10被引用数 3

ひとこと要約

本稿では、ワイヤテイプチャネルにおけるセキュリティの新たな指標として「成功指数」を導入し、順次YES/NOクエリを用いて秘密を推測する盗聴者による成功確率の指数的減少率を定量化する。重複補題を用いた符号化および逆方向の証明の拡張により、盗聴者の成功指数（セキュリティ）と正当受信者の復元誤り指数（信頼性）のトレードオフを確立し、正の指数を有する公開、秘密、推測レートの組み合わせの実現可能領域に対する内部バインディングを導出する。

ABSTRACT

Equivocation rate has been widely used as an information-theoretic measure of security after Shannon[10]. It simplifies problems by removing the effect of atypical behavior from the system. In [9], however, Merhav and Arikan considered the alternative of using guessing exponent to analyze the Shannon's cipher system. Because guessing exponent captures the atypical behavior, the strongest expressible notion of secrecy requires the more stringent condition that the size of the key, instead of its entropy rate, to be equal to the size of the message. The relationship between equivocation and guessing exponent are also investigated in [6][7] but it is unclear which is a better measure, and whether there is a unifying measure of security. Instead of using equivocation rate or guessing exponent, we study the wiretap channel in [2] using the success exponent, defined as the exponent of a wiretapper successfully learn the secret after making an exponential number of guesses to a sequential verifier that gives yes/no answer to each guess. By extending the coding scheme in [2][5] and the converse proof in [4] with the new Overlap Lemma 5.2, we obtain a tradeoff between secrecy and reliability expressed in terms of lower bounds on the error and success exponents of authorized and respectively unauthorized decoding of the transmitted messages. From this, we obtain an inner bound to the region of strongly achievable public, private and guessing rate triples for which the exponents are strictly positive. The closure of this region is equivalent to the closure of the region in Theorem 1 of [2] when we treat equivocation rate as the guessing rate. However, it is unclear if the inner bound is tight.

研究の動機と目的

• 従来のエゴワシオンレートのような伝統的ない秘保持指標が非典型的な行動を無視し、能動的な暗号解析攻撃を十分に捉えられていないという限界を是正するため。
• 盗聴者が順次的検証を用いて秘密を推測するプロセスを反映する、より実用的意味のあるセキュリティ指標としての成功指数を提案するため。
• ワイヤテイプシステムにおける、盗聴者の成功指数（低）と正当受信者の誤り指数（低）の間のトレードオフを確立するため。
• 成功指数をセキュリティ指標として用い、公開、秘密、推測レートの組み合わせの強実現可能レート三重項の領域に対する内部バインディングを、新規の符号化および逆方向フレームワークを用いて導出するため。

提案手法

• 成功指数は、順次YES/NOクエリを用いて秘密を推測する盗聴者の正しく推測する確率の指数的減少率として定義される。
• 著者らは、[2]の符号化方式と[4]の逆方向証明を、推測誤りと復元誤りの同時行動を扱うために、新たな重複補題（補題V.2）を組み込むことで拡張する。
• マークフ・チェーン構造を用いる：$\mathsf{U} \to \tilde{\mathsf{X}} \to \mathsf{X} \to \mathsf{Y}\mathsf{Z}$、チャネル挙動を維持するための相互情報量およびエントロピー制約を設ける。
• 構成により、相互情報量項$I(\mathsf{U};\mathsf{Y})$、$I(\mathsf{U};\mathsf{Z})$、および条件付き相互情報量が同等の分布間で保存される。
• 補助確率変数$\mathsf{U}$のサイズは$4 + \min\{\lvert\mathcal{X}\rvert-1, \lvert\mathcal{Y}\rvert + \lvert\mathcal{Z}\rvert - 2\}$で抑えられ、有限の複雑性を保証する。
• 証明は、$\mathsf{Y}$および$\mathsf{Z}$の周辺分布を保存しつつ、補助変数のサイズを最小化するためのエッグルトン＝カラテオドリの定理を活用する。

実験結果

リサーチクエスチョン

• RQ1 成功指数は、エゴワシオンレートに比べて、ワイヤテイプチャネルにおけるより実用的意味のある秘密保持指標としてどのように用いられるか？
• RQ2 ワイヤテイプシステムにおいて、盗聴者の成功指数と正当受信者の誤り指数の根本的トレードオフは何か？
• RQ3 成功指数をセキュリティ指標として用いることで、公開、秘密、推測レート三重項の実現可能領域に対する新たな内部バインディングを導出できるか？
• RQ4 提案された内部バインディングはタイトであるか、それとも完全な実現可能領域を特徴づけられていないか？

主な発見

• 成功指数は、盗聴者が順次的YES/NOクエリを用いて積極的に秘密を推測するプロセスをモデル化することで、より強い実用的意味を持つセキュリティ指標を提供する。
• 本稿では、盗聴者の成功指数と正当受信者の誤り指数の間のトレードオフ領域を確立し、両指数の下界として表現する。
• 公開、秘密、推測レートの組み合わせの強実現可能レート三重項の集合に対する内部バインディングが導出された。すべての指数が正である。
• エゴワシオンレートを推測レートとして解釈した場合、この内部バインディングの閉包は、[2]の定理1の領域の閉包と等価である。
• 内部バインディングがタイトであるとは証明されておらず、それが完全に実現可能領域を特徴づけているかどうかは未解決のまま残っている。
• 条件$\lvert\mathcal{X}\rvert - 1 \leq \lvert\mathcal{Y}\rvert + \lvert\mathcal{Z}\rvert - 2$が成立する場合、$\mathsf{X} = \mathsf{X}'$が保証され、モデルが特定条件下で簡略化される。