[论文解读] On Secure Network Coding for Two Unicast Sessions

Gaurav Kumar Agarwal, Martina Cardone+1 more|arXiv (Cornell University)|Jan 19, 2016

Cooperative Communication and Network Coding参考文献 8被引用 4

一句话总结

本文研究了在窃听和删除信道存在状态反馈的情况下，三种两用户广播网络（Y、反向Y、X）的保密消息容量。提出了一种基于网络编码的两阶段方案，用于密钥生成与一次性密码本加密，通过基于线性规划的优化，实现的速率最高可达时分复用策略的两倍。

ABSTRACT

This paper characterizes the secret message capacity of three networks where two unicast sessions share some of the communication resources. Each network consists of erasure channels with state feedback. A passive eavesdropper is assumed to wiretap any one of the links. The capacity achieving schemes as well as the outer bounds are formulated as linear programs. The proposed strategies are then numerically evaluated and shown to achieve higher rate performances (up to a double single- or sum-rate) with respect to alternative strategies, where the network resources are time-shared among the two sessions. These results represent a step towards the secure capacity characterization for general networks. They also show that, even in configurations for which network coding does not offer benefits in absence of security, it can become beneficial under security constraints.

研究动机与目标

• 确定在被动窃听和删除信道条件下，三种两用户会话网络（Y、RY、X）的保密消息容量。
• 探究当网络编码在无安全约束条件下无增益时，其在安全通信中是否仍能带来速率增益。
• 设计能够利用公共反馈和共享链路联合密钥生成的容量达到最优的传输方案。
• 将所提方案与时分复用策略进行比较，量化其在保密速率性能上的增益。

提出的方法

• 将保密容量建模为线性规划（LP）的解，从而优化传输速率与密钥共享速率。
• 采用两阶段策略：第一阶段通过网络编码的随机分组逐链路生成秘密密钥；第二阶段通过一次性密码本加密传输消息。
• 利用公共反馈（确认信号）实现密钥同步并提升保密性，将反馈建模为所有节点（包括窃听者）均可获得。
• 将窃听者建模为窃听单条链路且不知晓选择结果的情况，等价于各链路存在独立的、不合作的窃听者。
• 利用信息论不等式（包括链式法则与马尔可夫链）推导外界界，以确定容量极限。
• 将该框架应用于三种网络拓扑结构：Y、RY 和 X，其源-目的地及中间节点配置各不相同。

实验结果

研究问题

• RQ1 在共享资源的两用户会话网络中，面对窃听攻击，所能实现的最大保密消息速率是多少？
• RQ2 即使在网络编码在无安全约束时无增益的情况下，其是否仍能在安全通信中带来速率增益？
• RQ3 所提密钥共享与消息传输方案在保密速率性能上与时分复用策略相比如何？
• RQ4 公共反馈在这些网络配置中能在多大程度上提升保密容量？
• RQ5 能否通过线性规划精确表征这些网络的保密容量？

主要发现

• 所提方案实现的单会话速率和总速率最高可达时分复用策略的两倍，展现出显著的性能增益。
• 网络编码支持跨多个会话的联合密钥生成，使得共享链路可同时支持多个秘密密钥。
• 每个网络的保密容量被表征为线性规划的解，提供了可计算且最优的速率区域。
• 即使在网络编码在无安全约束时为冗余的网络中（如Y网络），在窃听存在时其变得至关重要，证明了其在安全环境中的价值。
• 通过信息论分析推导的外界界与可实现速率完全匹配，证实了所提方案的最优性。
• 数值评估表明，基于线性规划的优化方案在高删除率场景下，其速率显著高于其他替代策略。