[論文レビュー] Effective Secrecy: Reliability, Confusion and Stealth

Jie Hou, Gerhard Kramer|arXiv (Cornell University)|Nov 6, 2013

Intelligence, Security, War Strategy被引用数 9

ひとこと要約

本稿では、盗聴チャネルおよびブロードキャストチャネルにおける機密性、混乱、ステルス性を統一的に保証する有効な機密性という新たなセキュリティ指標を導入する。情報的差異 $ D(P_{MZ^n} \| P_M Q_Z^n) $ を最小化することで、同時に強い機密性（送信者と盗聴者出力間の相互情報量が低いこと）とステルス性（盗聴者が通信の存在を検出できないこと）を保証する。従来のバリエーション距離に基づく手法とは異なり、非正規化された差異を用いることで、より簡素かつ強固な証明が可能となる。

ABSTRACT

A security measure called effective security is defined that includes strong secrecy and stealth communication. Effective secrecy ensures that a message cannot be deciphered and that the presence of meaningful communication is hidden. To measure stealth we use resolvability and relate this to binary hypothesis testing. Results are developed for wire-tap channels and broadcast channels with confidential messages.

研究の動機と目的

• 弱い機密性および強い機密性の限界を克服し、機密性とステルス性の両方を保証する統一的セキュリティ指標を導入すること。
• 盗聴者が通信の存在を検出できない状態としてステルス性を形式化し、解体可能性と仮説検定を用いること。
• バリエーション距離に代えて非正規化された情報的差異を用いることで、解体可能性の証明をより簡素かつ強固なものとすること。
• 信頼性、混乱、ステルス性を一つのセキュリティ指標に統合し、確率的コードを用いて漸近的に達成可能であることを示すこと。

提案手法

• 情報的差異 $ D(P_{MZ^n} \| P_M Q_Z^n) $ を用いて有効な機密性を定義し、これにより混乱（$ I(M;Z^n) $）と非ステルス性（$ D(P_{Z^n} \| Q_Z^n) $）に分解可能であることを示す。
• 従来のバリエーション距離アプローチ [5] よりも複雑な代わりに、非正規化情報的差異に基づく簡素化された証明 [7] を用いて解体可能性を確立する。
• ステルス性を二項仮説検定と関連付ける：$ D(P_{Z^n} \| Q_Z^n) \to 0 $ であれば、盗聴者は通信とノイズを確実に区別できない。
• ネイマン＝ピアソン検定を適用し、$ D(P_{Z^n} \| Q_Z^n) \to 0 $ のとき、誤報と誤検出確率の和 $ \alpha + \beta \to 1 $ となることを示し、これによりステルス性が確認される。
• 記憶なしの盗聴およびブロードキャストチャネルにおける機密メッセージに対して、確率的コードを用いて有効な機密性が達成可能であることを示す。
• 分解式 $ D(P_{MZ^n} \| P_M Q_Z^n) = I(M;Z^n) + D(P_{Z^n} \| Q_Z^n) $ を用い、混乱とステルス性を独立して制御可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 強い機密性、混乱、ステルス性を同時に保証するセキュリティ指標を定義できるか？
• RQ2 ステルス性（通信の存在の隠蔽）は、盗聴チャネルにおいてどのように形式的に定量化され、達成可能か？
• RQ3 バリエーション距離に代えて非正規化情報的差異を用いることで、解体可能性の証明を簡素化・強化できるか？
• RQ4 遮断通信を検出する際の誤報と誤検出のトレードオフは、情報的差異とどのように関係するか？
• RQ5 有効な機密性は、機密メッセージを含む盗聴およびブロードキャストチャネルにおいて確率的コードで達成可能か？

主な発見

• 情報的差異 $ D(P_{MZ^n} \| P_M Q_Z^n) \to 0 $ が成立するとき、有効な機密性が達成され、強い機密性（$ I(M;Z^n) $ が小さい）とステルス性（$ D(P_{Z^n} \| Q_Z^n) $ が小さい）の両方が保証される。
• 情報的差異 $ D(P_{Z^n} \| Q_Z^n) \leq \xi_2 $ は、誤報と誤検出確率の和が $ \alpha + \beta \leq 1 + g(\xi_2) $ を満たすことを意味し、ここで $ g(\xi_2) = \sqrt{\xi_2 \cdot 2\ln 2} \to 0 $ となる。$ \xi_2 \to 0 $ のとき、$ g(\xi_2) \to 0 $ である。
• $ n \to \infty $ のとき、$ D(P_{Z^n} \| Q_Z^n) \to 0 $ であれば、$ \alpha + \beta \to 1 $ となり、盗聴者が通信を確実に検出できないことが示され、ステルス性が裏付けられる。
• 非正規化情報的差異を用いた本手法は、特に記憶なしチャネルにおいて、従来のバリエーション距離に基づく手法よりもより簡素かつ強固な証明を可能にする。
• 分解式 $ D(P_{MZ^n} \| P_M Q_Z^n) = I(M;Z^n) + D(P_{Z^n} \| Q_Z^n) $ により、混乱とステルス性が明確に分離され、独立した制御が可能となる。
• 有効な機密性は、解体可能性フレームワークを用いて、機密メッセージを含む盗聴およびブロードキャストチャネルにおいて確率的コードで漸近的に達成可能であることが示された。