[论文解读] Success Exponent of Wiretapper: A Tradeoff between Secrecy and Reliability

Chung Chan|ArXiv.org|May 23, 2008

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

一句话总结

本文引入成功指数作为无线窃听信道中安全性的新度量标准，用于量化窃听者通过连续的是/否查询猜测秘密时成功概率的指数衰减速率。通过引入重叠引理扩展编码与反证证明，作者建立了保密性（以窃听者成功指数衡量）与可靠性（合法解码错误指数）之间的权衡，推导出在严格正指数下公共、私有及猜测速率的可实现速率区域的内界。

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.

研究动机与目标

• 为解决传统保密度量（如等价率）忽略典型行为且不足以捕捉主动密码分析威胁的局限性。
• 提出成功指数作为更具实际意义的安全度量，反映窃听者通过连续验证猜测秘密所付出的努力。
• 在无线窃听系统中建立窃听者成功指数与合法接收者错误指数之间的权衡。
• 利用新颖的编码与反证框架，推导出在所有指数严格为正时，公共、私有及猜测速率三元组的可实现区域的内界。

提出的方法

• 成功指数被定义为窃听者在进行连续是/否查询后，正确猜测秘密的概率的指数衰减速率。
• 作者通过引入新的重叠引理（引理 V.2），将参考文献 [2] 的编码方案与参考文献 [4] 的反证证明进行扩展，以处理猜测错误与解码错误的联合行为。
• 采用马尔可夫链结构：$\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\}$，从而保证有限复杂度。
• 证明利用 Eggleton-Carathéodory 定理，在最小化辅助变量大小的同时，保持 $\mathsf{Y}$ 与 $\mathsf{Z}$ 的边缘分布不变。

实验结果

研究问题

• RQ1 成功指数如何作为无线窃听信道中比等价率更具实际意义的保密度量？
• RQ2 在无线窃听系统中，窃听者成功指数与合法接收者错误指数之间的基本权衡是什么？
• RQ3 能否利用成功指数作为安全度量，推导出公共、私有及猜测速率三元组可实现区域的新内界？
• RQ4 所提出的内界是否紧致？还是未能完全刻画可实现区域？

主要发现

• 成功指数通过建模窃听者通过连续是/否查询进行主动猜测的过程，提供了更强的保密性操作度量。
• 本文建立了窃听者成功指数与合法接收者错误指数之间的权衡区域，通过两个指数的下界表达。
• 推导出在所有指数严格为正时，公共、私有及猜测速率三元组的强可实现区域的内界。
• 当将等价率解释为猜测率时，该内界的闭包与参考文献 [2] 中定理 1 的区域闭包等价。
• 该内界尚未被证明为紧致，因此仍存在疑问：它是否完全刻画了可实现区域。
• 当 $\lvert\mathcal{X}\rvert - 1 \leq \lvert\mathcal{Y}\rvert + \lvert\mathcal{Z}\rvert - 2$ 时，构造确保 $\mathsf{X} = \mathsf{X}'$，从而在某些条件下简化了模型。