[论文解读] Towards Secure Two-Party Computation from the Wire-Tap Channel

Hervé Chabanne, Gérard Cohen+1 more|arXiv (Cornell University)|Jun 26, 2013

Coding theory and cryptography参考文献 19被引用 5

一句话总结

本文提出了一种基于无线盗听信道II（WTC2）原理的新型安全两方计算协议，用于线性函数计算，结合了线性陪集编码与不经意传输。该研究建立了一个理论框架，其中对窃听者的信息泄露程度等同于MPC中的输出泄露，通过二元相交码或q元极小码实现安全性，并给出了码率的可证明边界。

ABSTRACT

We introduce a new protocol for secure two-party computation of linear functions in the semi-honest model, based on coding techniques. We first establish a parallel between the second version of the wire-tap channel model and secure two-party computation. This leads us to our protocol, that combines linear coset coding and oblivious transfer techniques. Our construction requires the use of binary intersecting codes or $q$-ary minimal codes, which are also studied in this paper.

研究动机与目标

• 建立无线盗听信道II（WTC2）模型与半诚实模型下安全两方计算（MPC）之间的理论联系。
• 设计一种基于线性陪集编码与不经意传输的安全MPC协议，用于线性函数计算，灵感源自WTC2的信息泄露模型。
• 研究适用于MPC的极小线性码（特别是二元相交码与q元极小码）的存在性与构造方法。
• 推导极小q元线性码码率的理论边界，解决实际MPC效率中的关键挑战。

提出的方法

• 将MPC场景映射到WTC2：P1（Alice）对输入X进行编码，P2（Bob）接收码字，而窃听者（Eve）可访问有限数量的比特。
• 使用[n,k,d]码C及其校验矩阵H进行线性陪集编码，将输入X编码为满足H^T x = m的码字x。
• 将窃听者的比特访问建模为不经意传输协议，其中比特的选择对应于WTC2中的删除位置。
• 通过使泄露给窃听者（Eve）的信息等于输出f(X,Y)，确保泄露模型与MPC安全性一致。
• 采用二元相交码或q元极小码，以保证任一码字不被包含于任意真子码中，从而维持安全性。
• 应用源自Sperner集族与高斯二项式系数的码率边界，分析可实现的效率。

实验结果

研究问题

• RQ1 无线盗听信道II模型能否被正式映射到安全两方计算场景中，以支持新型MPC协议？
• RQ2 哪些类型的线性码——特别是二元相交码或q元极小码——能够实现具有有界信息泄露的安全MPC？
• RQ3 极小q元线性码的码率R = k/n的理论上下限是什么？它们如何影响协议效率？
• RQ4 能否为实际MPC应用（超越二元情形）实现高码率极小码的显式构造？
• RQ5 如何将不经意传输集成到WTC2框架中，以建模窃听者对码字比特的访问？

主要发现

• 基于线性陪集编码与不经意传输，构建了一种理论上的MPC协议，其安全性源自WTC2模型。
• 二元相交码与q元极小码被识别为实现所需泄露特性的关键组件。
• 建立了极小q元码码率的存在的上界：R ≤ log_q(2)，即使对非线性码也成立。
• 证明了极小码存在的下界：当R ≤ (1/2)log_q(q^2 / (q^2 - q + 1))时，存在无限多组此类码。
• 高码率极小码的显式构造仍是开放问题，尤其在q元情形下，现有构造（如单纯形码）码率表现较差。
• 本文提供了一种通过扩展二元相交码来构建q元极小码的构造方法，但仅带来对现有码的有限改进。