[论文解读] Effective Secrecy: Reliability, Confusion and Stealth

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

Intelligence, Security, War Strategy被引用 9

一句话总结

本文引入了有效保密性（effective secrecy）——一种统一的安全度量，可确保在窃听信道和广播信道中的机密性、混淆性和隐蔽性。通过最小化信息分歧 $ 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) $）两部分。
• 基于未归一化信息分歧 [7] 的简化证明，建立可分辨性，替代以往更复杂的变分距离方法 [5]。
• 将隐蔽性与二元假设检验关联：当 $ 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 $ 时。
• 当 $ 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) $ 形式化地分离了混淆性和隐蔽性，使二者可独立控制。
• 通过可分辨性框架证明，有效保密性在具有保密消息的窃听信道和广播信道中，可用随机码渐近实现。