[论文解读] Tight exponential evaluation for information theoretical secrecy based on universal composablity

Masahito Hayashi|arXiv (Cornell University)|Oct 7, 2010

Wireless Communication Security Techniques被引用 4

一句话总结

本文提出了一种基于 L₁ 距离和阶数为 1+s（s ∈ [0,1]）的 Renyi 熵的信息论安全中窃听者可区分性的紧致指数界。研究证明，在独立同分布设置下，universal2 哈希函数可实现最优的指数衰减速率，并将该结果应用于无线盗听信道和通过公开讨论进行的密钥提取。

ABSTRACT

Motivated by the desirability of universal composability, we analyze in terms of L_1 distinguishability the task of secret key generation from a joint random variable. Under this secrecy criterion, using the Renyi entropy of order 1+s for s in [0,1, we derive a new upper bound of Eve's distinguishability under the application of the universal2 hash functions. It is also shown that this bound gives the tight exponential rate of decrease in the case of independent and identical distributions. The result is applied to the wire-tap channel model and to secret key generation (distillation) by public discussion.

研究动机与目标

• 基于 L₁ 可区分性提出一种通用可组合的安全性准则，用于密钥生成。
• 推导出 Eve 使用阶数为 1+s 的 Renyi 熵来区分密钥与随机变量的能力的紧致上界。
• 证明在独立同分布源的情况下，该上界可实现最优的指数衰减速率。
• 将推导出的上界应用于实际的保密模型，包括无线盗听信道和通过公开讨论进行的密钥提取。

提出的方法

• 使用 L₁ 距离作为保密度量，量化实际密钥与均匀随机变量之间的可区分性。
• 采用阶数为 1+s（s ∈ [0,1]）的 Renyi 熵来刻画从窃听者视角出发的密钥不确定性。
• 将 universal2 哈希函数族应用于联合随机变量以提取秘密密钥。
• 通过分析 universal2 哈希下分布的尾部行为，并利用 Renyi 熵的性质，推导出上界。
• 对独立同分布源，渐近评估可区分性的指数衰减速率，证明其紧致性。
• 将该方法扩展至无线盗听信道模型以及包含公开讨论的密钥提取协议。

实验结果

研究问题

• RQ1 在通用可组合性下，密钥生成中窃听者可区分性的最紧致可能的指数衰减速率是多少？
• RQ2 在 universal2 哈希存在的情况下，阶数为 1+s 的 Renyi 熵的选择如何影响安全上界？
• RQ3 能否证明该推导出的上界在渐近情形下对独立同分布源是紧致的？
• RQ4 该提议的准则在实际保密模型（如无线盗听信道）中的表现如何？
• RQ5 在该保密框架下，公开讨论在实现最优密钥生成速率中起到什么作用？

主要发现

• 所提出的 Eve 的 L₁ 可区分性上界在独立同分布源下具有最优的指数衰减速率。
• 该上界通过阶数为 1+s（s ∈ [0,1]）的 Renyi 熵推导得出，为通用可组合性下的保密性提供了更精细的刻画。
• universal2 哈希函数的使用在独立同分布情况下实现了可区分性的最优指数衰减速率。
• 该上界适用于无线盗听信道模型和通过公开讨论进行的密钥提取，展现出广泛适用性。
• 分析证实，基于 L₁ 距离的保密准则适用于密钥生成协议中的通用可组合性。