[论文解读] Going Beyond Pollution Attacks: Forcing Byzantine Clients to Code Correctly

Raluca Ada Popa, Alessandro Chiesa+2 more|arXiv (Cornell University)|Aug 10, 2011

Cooperative Communication and Network Coding参考文献 30被引用 6

一句话总结

本文提出了 PIP 和 Log-PIP 兩種高效協定，利用隨機線性網絡編碼，驗證網絡中拜占庭節點是否正確地對網絡編碼資料包進行編碼，確保吞吐量最優。透過讓節點加密驗證編碼係數的多樣性與偽隨機性，這些協定可防止惡意節點因非隨機或不完整編碼而降低網絡吞吐量，且性能開銷極小，具備抵抗共謀的能力。

ABSTRACT

Network coding achieves optimal throughput in multicast networks. However, throughput optimality \emph{relies} on the network nodes or routers to code \emph{correctly}. A Byzantine node may introduce junk packets in the network (thus polluting downstream packets and causing the sinks to receive the wrong data) or may choose coding coefficients in a way that significantly reduces the throughput of the network. Most prior work focused on the problem of Byzantine nodes polluting packets. However, even if a Byzantine node does not pollute packets, he can still affect significantly the throughput of the network by not coding correctly. No previous work attempted to verify if a certain node \emph{coded correctly using random coefficients} over \emph{all} of the packets he was supposed to code over. We provide two novel protocols (which we call PIP and Log-PIP) for detecting whether a node coded correctly over all the packets received (i.e., according to a random linear network coding algorithm). Our protocols enable any node in the network to examine a packet received from another node by running a "verification test". With our protocols, the worst an adversary can do and still pass the packet verification test is in fact equivalent to random linear network coding, which has been shown to be optimal in multicast networks. Our protocols resist collusion among nodes and are applicable to a variety of settings. Our topology simulations show that the throughput in the worst case for our protocol is two to three times larger than the throughput in various adversarial strategies allowed by prior work. We implemented our protocols in C/C++ and Java, as well as incorporated them on the Android platform (Nexus One). Our evaluation shows that our protocols impose modest overhead.

研究动机与目标

• 彌補現有研究僅能檢測污染（無效）資料包，卻無法檢測拜占庭節點導致吞吐量下降之行為的不足。
• 確保節點依規定對所有接收到的資料包使用偽隨機係數進行編碼，以實現隨機線性網絡編碼中最佳多播吞吐量。
• 提供一種驗證機制，使任何節點都能檢測到資料包是否未對所有必需的輸入資料包進行編碼，或使用了非隨機係數。
• 抵抗拜占庭節點之間的共謀，並適用於多種網絡環境，包括移動網絡與點對點環境。
• 在維持強大安全性保障（多樣性與隨機性）的同時，將性能開銷降至最低。

提出的方法

• 協定利用密碼學有效性簽名與同態性質，使節點能驗證資料包是否為所有輸入資料包的合法線性組合。
• 採用挑戰-回應機制：接收節點向發送節點發送一個隨機挑戰，發送節點必須回應一個證明，以顯示該資料包確實對所有必需的父節點進行了編碼。
• PIP 協定採用直接驗證方法，其複雜度與父節點數量呈線性關係；Log-PIP 則透過梅克爾樹採用對數方法，以降低驗證成本。
• 協定與現有的污染檢測機制整合，並新增一層針對多樣性與偽隨機性的驗證，不僅僅是有效性驗證。
• 透過挑戰的新鮮度防止重放攻擊，並支援節點透過可驗證證明來舉證惡意行為。
• 協定以 C/C++、Java 和 Android 實作，並在多種網路拓撲與資料包大小下進行性能評估。

实验结果

研究问题

• RQ1 拜占庭節點是否能透過未對所有接收到的資料包進行編碼，或使用非隨機係數，即使資料包本身有效，仍可降低網絡吞吐量？
• RQ2 我們能否設計一種協定，以低計算與通訊開銷檢測此類不符合規範的行為？
• RQ3 如何確保驗證機制能抵抗拜占庭節點之間的共謀？
• RQ4 與標準污染檢測相比，驗證多樣性與偽隨機性的性能開銷為何？
• RQ5 在具有大量父節點的網絡中，特別是在移動與 P2P 環境中，協定是否能高效擴展？

主要发现

• 在 PIP 和 Log-PIP 下，最壞情況下的吞吐量比先前研究允許的攻擊策略高出兩到三倍，顯示出顯著的韌性提升。
• 對於擁有 10 個父節點的節點，Log-PIP 的驗證時間約為 1.4 毫秒，且總傳輸與驗證成本低於典型網絡編碼架構中總時間的 3%。
• 在 C/C++ 實作中，Log-PIP 對 15 個父節點進行編碼時，傳輸耗時僅 0.3 毫秒，驗證耗時 0.4 毫秒，且驗證時間呈對數增長。
• 與標準污染檢測方案相比，Log-PIP 的性能開銷低於 0.5%，適用於實際部署。
• 資料包大小的增加極小且與有效載荷大小無關——例如，Log-PIP 僅增加 640 + 320·log(|R_N|) 比特，對於大檔案而言可忽略不計。
• 協定具備抵抗重放攻擊與共謀的能力，且可與現有的網絡編碼系統以較小的額外成本整合。