[论文解读] Counteracting Byzantine Adversaries with Network Coding: An Overhead Analysis

Minji Kim, Muriel Médard+1 more|ArXiv.org|Jun 27, 2008

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

一句话总结

本文分析了在网络编码系统中三种拜占庭攻击检测方案的传输开销：端到端纠错、基于分组的检测和基于生成的检测。结果表明，当攻击概率较高时，基于分组的检测通过早期丢弃损坏分组，能最小化带宽开销；当攻击概率较低时，由于每分组哈希成本较低，基于生成的检测更为高效。主要贡献在于对生成大小、检测开销与攻击概率之间量化权衡的分析，证明在高对抗条件下，检测方案可优于简单的纠错机制。

ABSTRACT

Network coding increases throughput and is robust against failures and erasures. However, since it allows mixing of information within the network, a single corrupted packet generated by a Byzantine attacker can easily contaminate the information to multiple destinations. In this paper, we study the transmission overhead associated with three different schemes for detecting Byzantine adversaries at a node using network coding: end-to-end error correction, packet-based Byzantine detection scheme, and generation-based Byzantine detection scheme. In end-to-end error correction, it is known that we can correct up to the min-cut between the source and destinations. However, if we use Byzantine detection schemes, we can detect polluted data, drop them, and therefore, only transmit valid data. For the dropped data, the destinations perform erasure correction, which is computationally lighter than error correction. We show that, with enough attackers present in the network, Byzantine detection schemes may improve the throughput of the network since we choose to forward only reliable information. When the probability of attack is high, a packet-based detection scheme is the most bandwidth efficient; however, when the probability of attack is low, the overhead involved with signing each packet becomes costly, and the generation-based scheme may be preferred. Finally, we characterize the tradeoff between generation size and overhead of detection in bits as the probability of attack increases in the network.

研究动机与目标

• 评估三种拜占庭检测方案在网络编码系统中的传输开销：端到端纠错、基于分组的检测和基于生成的检测。
• 确定在何种条件下拜占庭检测方案能通过减少损坏数据导致的带宽浪费，优于传统纠错机制。
• 表征生成大小与检测开销之间的权衡关系，作为攻击概率的函数。
• 评估检测的计算与通信开销是否在对抗环境中因吞吐量提升而得到合理化。

提出的方法

• 使用随机块线性网络编码建模多播网络，生成大小为G，分组大小为n。
• 分析三种方案：(1) 端到端纠错，(2) 使用大小为hp的每分组哈希的基于分组的检测，(3) 使用大小为hg的每生成哈希的基于生成的检测。
• 推导预期开销，即损坏或丢弃比特数与总接收比特数的比值，考虑攻击概率p和哈希成本。
• 使用概率分析计算每种方案下每生成的损坏分组数和丢弃分组数的期望值。
• 通过评估预期开销与总接收比特数的比值来比较方案，对p、G和哈希大小保持敏感性。
• 采用渐近分析表明，当p > 0.5时，预期吞吐量趋近于零，因此开销可忽略。

实验结果

研究问题

• RQ1 在何种条件下，拜占庭检测相比端到端纠错能减少网络开销？
• RQ2 在攻击概率变化时，基于分组与基于生成的检测选择如何影响带宽效率？
• RQ3 在给定攻击概率下，使检测开销最小化的最优生成大小是多少？
• RQ4 在何种攻击概率下，基于分组检测的每分组哈希成本相比基于生成检测具有合理性？
• RQ5 当攻击者数量较多时，尽管增加了检测开销，拜占庭检测方案是否仍能提升网络吞吐量？

主要发现

• 当攻击概率p超过约0.03时，基于分组检测的开销低于端到端纠错，因此更节省带宽。
• 在低攻击概率下（p < 0.03），基于分组检测的每分组哈希成本超过其收益，因此端到端纠错更高效。
• 在低攻击概率下，基于生成的检测方案表现最佳，因其将哈希成本分摊到G个分组上，降低了每分组的开销。
• 在中等攻击概率下（p ≈ 0.2），基于生成的方案因即使仅有少量损坏分组也需丢弃整个生成，导致开销达到峰值。
• 当p > 0.5时，预期吞吐量降至接近零，因此开销可忽略，因无数据被传输。
• 当攻击概率较高时，基于分组的方案最节省带宽，因为哈希成本被避免传输损坏分组所带来的收益所覆盖。