[論文レビュー] TRAIL: Topology Authentication in RPL

Heiner Perrey, Martin Landsmann+3 more|arXiv (Cornell University)|Dec 3, 2013

Security in Wireless Sensor Networks参考文献 12被引用数 45

ひとこと要約

TRAIL は、信頼の基盤（trust anchor）を用いた経路整合性の検証によって、悪意あるノードを検出し隔離する、RPL 向けの軽量でトポロジーに基づく認証方式である。暗号化の複雑さに依存せず、実世界のテストで収束時間に 20% 未満の追加負荷で、ランクに基づくトポロジー攻撃を効果的に軽減する。

ABSTRACT

The IPv6 Routing Protocol for Low-Power and Lossy Networks (RPL) was recently introduced as the new routing standard for the Internet of Things. Although RPL defines basic security modes, it remains vulnerable to topological attacks which facilitate blackholing, interception, and resource exhaustion. We are concerned with analyzing the corresponding threats and protecting future RPL deployments from such attacks. Our contributions are twofold. First, we analyze the state of the art, in particular the protective scheme VeRA and present two new rank order attacks as well as extensions to mitigate them. Second, we derive and evaluate TRAIL, a generic scheme for topology authentication in RPL. TRAIL solely relies on the basic assumptions of RPL that (1) the root node serves as a trust anchor and (2) each node interconnects to the root as part of a hierarchy. Using proper reachability tests, TRAIL scalably and reliably identifies any topological attacker without strong cryptographic efforts.

研究の動機と目的

• ランクおよびバージョン番号の偽装によるブラックホール攻撃、盗聴攻撃、リソース枯渇攻撃などの RPL のトポロジー攻撃に対する脆弱性を解消すること。
• 先行する RPL 認証方式 VeRA の限界を特定し、ランク順序偽装およびリプレイ攻撃に対する耐性を高めるための改善策を提案することで、VeRA の分析と改善を行うこと。
• 最小限の暗号化処理とルートノードの信頼基盤に依存する、汎用的で軽量なトポロジー認証メカニズムを設計・評価すること。
• RIOT オペレーティングシステムを用いた大規模なテストベッドを用いて、TRAIL の性能とスケーラビリティを検証し、実際の IoT 環境における実現可能性を示すこと。

提案手法

• TRAIL は、ルートノード（信頼の基盤）が、nonce を用いた証明メッセージを送信することで、経路の整合性を検証する到達可能性テストを開始する。
• 各ノードは、親ノードから受信した nonce 値を蓄積・転送し、ルートノードが証明チェーンの整合性をチェックすることで経路の真正性を検証できる。
• ランクと親関係がルートへの一意でサイクルのない経路を形成しているかを検証することで、トポロジー上の異常を検出し、テストに合格しないノードは拒否する。
• エンドツーエンド暗号化や複雑な鍵交換を用いず、代わりに定期的な軽量な到達可能性検証に依存することで、悪意あるノードを検出し隔離する。
• プロトコルは RIOT OS に実装され、攻撃者を意図的に挿入した 25 ノードのテストベッドで評価され、メッセージのオーバーヘッドと収束時間の測定が行われた。

実験結果

リサーチクエスチョン

• RQ1 TRAIL は、重い暗号化に依存せずに、RPL におけるトポロジー攻撃者をどのように検出し隔離するのか？
• RQ2 TRAIL のメッセージオーバーヘッドと収束遅延という観点から、性能とスケーラビリティのトレードオフはどのようなものか？
• RQ3 ランク順序偽装およびリプレイ攻撃に対する耐性において、TRAIL は VeRA と比べてどのように異なるのか？
• RQ4 TRAIL は、リソース制限のある実際の IoT ネットワークに、ルーティング性能への影響を最小限に抑えて効率的に展開可能か？

主な発見

• TRAIL はノードあたり平均で 2 つの追加メッセージを導入し、250 ノード程度のネットワークでは 6LoWPAN MTU の制限内に収まるメッセージサイズを維持する。
• ネットワークの深さに応じて平均メッセージサイズが増加し、ファンドアウトが 5 の 1365 ノードのネットワークでは最大 1023 バイトに達する。
• 大多数のケースでルーティングの収束時間に 20% 未満のオーバーヘッドが加わり、メッセージ損失や再送による一時的なスパイクが発生する場合がある。
• 悪意あるノードが偽のルートランクを発表した場合、TRAIL は攻撃者を正常に隔離し、誠実なノードのみを用いて正しい DODAG を再構築する。
• VeRA を損なうランク順序偽装およびリプレイ攻撃に対して、TRAIL は効果的に対策を講じ、優れた耐性を示している。