[论文解读] Secure Computation-and-Forward with Linear Codes

Masahito Hayashi, Tadashi Wadayama+1 more|arXiv (Cornell University)|Apr 28, 2018

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

一句话总结

本文提出了一种基于线性码和通用2次哈希函数的安全计算转发方案，使两个节点可通过不受信任的中继交换消息，而不会泄露各自的消息信息。该方案确保中继仅能解码消息的模和，利用低复杂度码（如LDPC码）实现强保密性，并针对BPSK调制提供了有限长保密性分析，适用于实际部署。

ABSTRACT

We discuss secure transmission via an untrusted relay when we have a multiple access phase from two nodes to the relay and broadcast phase from the relay to the two nodes. To realize the security, we construct a code that securely transmits the modulo sum of the messages of two nodes via a multiple access channel. In this code, the relay cannot obtain any information for the message of each node, and can decode only the messages of the two nodes. Our code is constructed by simple combination of an existing liner code and universal2 hash function.

研究动机与目标

• 解决在双向中继网络中，节点通过中继交换消息时，信息泄露给不受信任中继的问题。
• 设计一种实用的编码方案，利用固定星座点的线性码实现低编码/解码复杂度的安全计算转发。
• 通过防止中继获取单个消息信息，仅允许其解码消息之和，确保强保密性。
• 为实际部署（特别是LDPC码和BPSK调制）提供有限长保密性分析。
• 将安全计算转发的应用扩展至网络编码场景（如蝴蝶网络），确保中间节点无法获知单个消息。

提出的方法

• 通过将F_q^n上的通用线性码与通用2次哈希函数结合，构造一种保密码，以隐藏单个消息。
• 采用两阶段协议：多址接入阶段（从节点到中继）和广播阶段（从中继到节点），使用正交传输。
• 采用一种信道模型，其中输入通过BPSK映射为实数/复数信号，中继观察到的是信号的噪声叠加。
• 应用Rényi散度和R'ényi熵，利用Rényi散度的s阶导数推导出有限长保密界。
• 推导出中继观测值与单个消息之间互信息的上界，确保强保密性。
• 利用密度演化和空间耦合技术，评估LDPC码在BPSK方案中的渐近可实现速率。

实验结果

研究问题

• RQ1 能否使用线性码而非格码来构建安全计算转发方案，以降低实现复杂度？
• RQ2 在有限长设置下，如何确保不受信任中继在双向中继网络中的强保密性？
• RQ3 当使用实际纠错码（如LDPC码）时，所提方案的渐近可实现速率是多少？
• RQ4 所提方案能否应用于蝴蝶网络等网络编码场景，以防止中间节点获知单个消息？
• RQ5 在BPSK调制方案中，保密性能如何随码长和信噪比变化？

主要发现

• 所提方案通过确保中继观测值与单个消息之间的互信息随码长指数衰减，实现强保密性。
• 有限长保密性分析表明，泄露信息受一个包含Rényi散度和码本中码字数量的表达式所限制。
• 对于采用空间耦合的LDPC码与BPSK调制，渐近可实现速率在保密约束下趋近于信道容量。
• 通过使用固定星座点的线性码，方案保持了低计算复杂度，避免了格码带来的高复杂度。
• 保密速率受约束于min(2I(Y;X1+X2)[W] - I(Y;X1,X2)[W], I(Y;X1+X2)[W] - I(Y;X1)[W])，确保中继无法解码单个消息。
• 数值评估表明，该方案在使用优化的LDPC码与置信传播译码时，可实现可靠通信并具备强保密性。