[论文解读] Converses for Secret Key Agreement and Secure Computing

Himanshu Tyagi, Shun Watanabe|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|Apr 23, 2014

Wireless Communication Security Techniques参考文献 57被引用 5

一句话总结

本论文提出了一类用于多方保密密钥（SK）协商与安全计算的单次 converse bounds，其核心是通过一种新颖的从保密密钥生成到二元假设检验的约化方法。关键贡献在于提出了一种条件独立性检验界，该界以上下文攻击者侧信息下，各方观测联合分布与使其条件独立的分布之间的统计距离为上界，从而对最大SK长度进行上界估计，该结果在SK协商与交互式公开通信下的安全函数计算方面均优于以往成果。

ABSTRACT

We consider information theoretic secret key agreement and secure function computation by multiple parties observing correlated data, with access to an interactive public communication channel. Our main result is an upper bound on the secret key length, which is derived using a reduction of binary hypothesis testing to multiparty secret key agreement. Building on this basic result, we derive new converses for multiparty secret key agreement. Furthermore, we derive converse results for the oblivious transfer problem and the bit commitment problem by relating them to secret key agreement. Finally, we derive a necessary condition for the feasibility of secure computation by trusted parties that seek to compute a function of their collective data, using an interactive public communication that by itself does not give away the value of the function. In many cases, we strengthen and improve upon previously known converse bounds. Our results are single-shot and use only the given joint distribution of the correlated observations. For the case when the correlated observations consist of independent and identically distributed (in time) sequences, we derive strong versions of previously known converses.

研究动机与目标

• 仅基于相关观测的联合分布，推导多方保密密钥协商的紧致 converse bounds，无需假设 i.i.d. 序列。
• 建立保密密钥协商与二元假设检验之间的结构性联系，从而为保密密钥容量提供新的上界。
• 通过将这些问题约化为保密密钥协商，将该框架扩展至安全两方计算，包括不经意传输与比特承诺。
• 仅使用公开的交互式通信（不泄露函数值）的可信方安全计算的可行性提供必要条件。
• 强化并推广先前已知的 converse bounds，尤其在 i.i.d. 与有限长度设置下。

提出的方法

• 开发了一种从多方保密密钥协商到二元假设检验的约化方法，使用最优类型-II错误概率作为联合分布与乘积分布之间统计距离的代理。
• 核心界通过条件独立性检验框架推导得出，其中保密密钥长度的上界取决于真实联合分布与使各方观测在给定窃听者侧信息下条件独立的分布之间的距离。
• 该方法适用于交互式公开通信，因此适用于各方交换多轮消息的实际密码协议。
• 通过将不经意传输与比特承诺约化为保密密钥协商，再应用主定理，将该方法扩展至安全计算问题。
• 对于 i.i.d. 序列，单次界被证明可推出强 converse 结果，并在已知情形下与第二阶渐近行为一致。
• 该框架具有普遍性，允许在假设检验中任意选择参考分布 Q，从而在应用中具备灵活性。

实验结果

研究问题

• RQ1 当窃听者可访问侧信息且存在公开通信时，从相关观测中可生成的保密密钥的最大长度是多少？
• RQ2 如何仅基于观测的联合分布，不假设 i.i.d. 序列，来界定保密密钥协商的效率？
• RQ3 安全函数计算问题能否约化为保密密钥协商？从该约化中可推导出哪些 converse bounds？
• RQ4 在安全传输协议中，保密参数 ε 与 δ 之间的权衡与所需保密密钥长度之间有何关系？
• RQ5 所推导的 converse bounds 与 i.i.d. 和有限长度情形下的已知结果相比如何？

主要发现

• 对于两方，最大保密密钥长度 Sε(X₁,X₂) 的上界为 −log βε+η(PX₁X₂ || PX₁×PX₂) + 2log(1/η)，其中 β 为二元假设检验中的最优类型-II错误概率。
• 在多方场景中，主结果提供了一种条件独立性检验界，用于度量真实联合分布与使各方在给定窃听者侧信息下条件独立的分布之间的距离。
• 该框架通过将不经意传输与比特承诺约化为保密密钥协商并应用主定理，得出了关于这两类问题的新 converse bounds。
• 在 i.i.d. 情况下，所推导的界被证明是紧致的，并恢复了已知的第二阶渐近结果。
• 安全传输消息 M（参数为 ε 和 δ）的必要条件为：保密密钥长度 κ 必须满足 κ ≥ Hmin^ξ(PY) − O(1)，其中 ξ 为某些值，且 κ 与 ε+δ 之间存在权衡。
• 该方法不仅适用于保密性，还可用于推导数据交换与协议仿真中通信复杂度的下界，展示了其更广泛的应用潜力。