[論文レビュー] 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

ひとこと要約

本稿では、ランダム線形ネットワークコーディングを用いて、Byzantineノードがネットワークコーディングパケットを正しくコーディングしているかどうかを検証する2つの効率的なプロトコル、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.

研究の動機と目的

• 既存の研究では汚染（無効）パケットの検出にとどまっているが、Byzantineノードによるスループット低下行動の検出には至っていないというギャップを埋める。
• ランダム線形ネットワークコーディングにおける最適マルチキャストスループットを達成するために、ノードが受信したすべてのパケットを擬似ランダム係数を用いてコーディングすることを保証する。
• 任意のノードが、パケットがすべて必要な入力パケットを対象としてコーディングされていないか、非ランダムな係数が使用されているかを検出できる検証メカニズムを提供する。
• Byzantineノード間のコラージョンに対して耐性を持ち、モバイルやP2P環境を含む多様なネットワーク環境へ適用可能である。
• 多様性およびランダム性に関する強固なセキュリティ保証を維持しつつ、パフォーマンスオーバーヘッドを最小限に抑える。

提案手法

• プロトコルは暗号的有効性署名と準同型性の性質を用い、パケットがすべての入力パケットの有効な線形結合であるかどうかを検証可能にする。
• チャレンジ・レスポンスメカニズムを採用し、受信者が送信者にランダムなチャレンジを送信し、送信者はパケットがすべての必要な親ノードからコーディングされたことを証明する。
• PIPプロトコルは親ノード数に比例する線形時間で直接検証を行うが、Log-PIPはメルクルツリーを用いた対数的アプローチにより検証コストを低減する。
• 既存の汚染検出スキームと統合し、有効性の検証に加え、多様性および擬似ランダム性の検証という新たな層を追加する。
• チャレンジの新鮮性を活用してリプレイ攻撃を防止し、検証可能な証明を通じてノードの不正行為を立証可能にする。
• C/C++、Java、Androidで実装され、複数のネットワークトポロジーやパケットサイズでパフォーマンスが評価されている。

実験結果

リサーチクエスチョン

• RQ1 Byzantineノードが受信パケットのすべてをコーディングしていない、または非ランダムな係数を使用している場合でさえ、パケットが有効であれば、ネットワークスループットを低下させることができるか？
• RQ2 このような非適合行動を、低計算および通信オーバーヘッドで検出できるプロトコルを設計できるか？
• RQ3 コラージョンに耐性を持ち、Byzantineノード間の共謀を防げる検証メカニズムをどのように実現できるか？
• RQ4 標準的な汚染検出と比較して、多様性および擬似ランダム性の検証に要するパフォーマンスオーバーヘッドはどの程度か？
• RQ5 特にモバイルおよびP2P環境において、多くの親ノードを伴うネットワークでも効率的にスケーリングできるか？

主な発見

• PIPおよびLog-PIP下での最悪ケーススループットは、先行研究で許容される悪意ある戦略よりも2〜3倍高いことが示され、耐性向上が顕著に確認された。
• 10個の親ノードを持つノードにおいて、Log-PIPの検証時間は約1.4 msであり、通常のネットワークコーディング環境における総時間の3%未満の送信および検証コストに抑えられる。
• C/C++で実装されたLog-PIPは、15個の親ノードを対象にコーディングする際、送信に0.3 ms、検証に0.4 msのオーバーヘッドしか発生せず、検証時間は対数的に増加する。
• Log-PIPのパフォーマンスオーバーヘッドは、標準的な汚染検出スキームと比較して0.5%未満であり、実世界への展開に非常に効率的である。
• パケットサイズの増加は最小限で、ペイロードサイズに依存しない—例として、Log-PIPは640 + 320·log(|R_N|)ビットを追加するが、大容量ファイルでは無視できる程度にまで小さくなる。
• リプレイ攻撃およびコラージョンに対して堅牢であり、既存のネットワークコーディングシステムへの統合も、わずかな追加コストで可能である。