[論文レビュー] The MAC Resolvability Region, Semantic Security and Its Operational Implications

Matthias Frey, Igor Bjelaković+1 more|arXiv (Cornell University)|Oct 6, 2017

Wireless Communication Security Techniques参考文献 32被引用数 9

ひとこと要約

本稿は、変動距離に関するシャノンエントロピーの一様連続性に基づく新しい逆問題証明を用いて、メモリレス複数アクセスチャネル（MAC）の解消可能領域を確立する。セマンティックセキュリティが、メッセージ分布に関する仮定がなくても、解消可能性に基づく符号構成により達成可能であることを示し、すべてのメッセージペアに対して盗聴者出力がターゲット分布と統計的に近いことを保証することで実現する。

ABSTRACT

Building upon previous work on the relation between secrecy and channel resolvability, we revisit a secrecy proof for the multiple-access channel (MAC) from the perspective of resolvability. In particular, we refine and extend the proof to obtain novel results on the second-order achievable rates. Then we characterize the resolvability region of the memoryless MAC by establishing a conceptually simple converse proof for resolvability that relies on the uniform continuity of Shannon's entropy with respect to the variational distance. We discuss the operational meaning of the information theoretic concept of semantic security from the viewpoint of Ahlswede's General Theory of Information Transfer and show interesting implications on the resilience against a large class of attacks even if no assumption can be made about the distributions of the transmitted messages. Finally we provide details on how the resolvability results can be used to construct a wiretap code that achieves semantic security.

研究の動機と目的

• 概念的に単純な逆問題証明を用いて、メモリレスMACの解消可能領域を特徴付けること。
• チャネル解消可能性とワイヤートラップMACにおけるセマンティックセキュリティの間の運用的関係を確立すること。
• 解消可能性を活用することで、メッセージ分布に関する仮定がなくてもセマンティックセキュリティを達成できることを示すこと。
• エントロピー連続性と変動距離を用いて、MAC解消可能性の2次近似レートを導出すること。
• 解消可能性に基づくコードブック設計を用いて、セマンティックセキュリティを達成するワイヤートラップ符号を構築すること。

提案手法

• 変動距離に関するシャノンエントロピーの一様連続性を用いて、MAC解消可能性の逆問題証明を導出する。
• 2段階のコードブック構成を適用：1つはメッセージレート用、もう1つは解消可能レート用で、盗聴者における統計的同一性を保証する。
• メッセージを運ぶ符号語とランダムネスを運ぶ符号語を組み合わせたハイブリッド符号化方式を用い、盗聴者の出力分布を制御する。
• 確率論的議論を用いて、不適切なコードブックが選ばれる確率が二重指数関数的に減少することを示し、高い信頼性を保証する。
• 時間共有の議論を適用して、解消可能領域の凸包への拡張を実現する。
• 正当な受信者および盗聴者チャネルに関する相互情報量項を用いて、解消可能レートの境界を導出し、統計的同一性を保証する。

実験結果

リサーチクエスチョン

• RQ1 メモリレスMACの正確な解消可能領域は何か？ そして、逆問題証明を用いてどのように特徴付けられるか？
• RQ2 チャネル解消可能性は、複数アクセスワイヤートラップチャネルにおけるセマンティックセキュリティとどのように関係するか？
• RQ3 メッセージ分布の既知または構造的仮定がなくても、セマンティックセキュリティを達成できるか？
• RQ4 変動距離下でのMAC解消可能性の2次近似レートは何か？
• RQ5 解消可能性に基づくコードブックは、どのように構築すれば、信頼性の高い通信と強い機密性の両方を保証できるか？

主な発見

• メモリレスMACの解消可能領域は、変動距離に関するシャノンエントロピーの一様連続性に依存する逆問題証明を用いて特徴付けられる。
• メッセージ分布に関する仮定がなくても、解消可能性によって強制される統計的同一性のおかげで、ワイヤートラップMACにおけるセマンティックセキュリティが達成可能である。
• 解消可能性の2次近似レートが導出され、誤り確率がブロック長に従って二重指数関数的に減少することが示された。
• 盗聴者の出力とターゲット分布との変動距離が exp(−γ₁n) 以下に抑えられるように、ワイヤートラップ符号が構築された。失敗確率は exp(−exp(γ₂n)) で抑えられる。
• I(X;Ztap|V) < L₁ < I(X;Zlegit|Y,V)−R₁ および I(Y;Ztap|V) < L₂ < I(Y;Zlegit|X,V)−R₂ を満たすレート L₁ と L₂ を持つコードブックの存在が、セマンティックセキュリティを保証する。
• すべてのメッセージペアに対する和集合の不等式を用いることで、全体の失敗確率が指数関数的に小さく保たれることを確認し、すべてのメッセージペアに対して構成が有効であることが検証された。