[論文レビュー] Clear as MUD: Generating, Validating and Applying IoT Behaviorial Profiles (Technical Report)

Ayyoob Hamza, Dinesha Ranathunga+3 more|arXiv (Cornell University)|Apr 12, 2018

Network Security and Intrusion Detection参考文献 14被引用数 7

ひとこと要約

本論文では、IoTデバイスのトラフィックトレースから自動的にMUD（メーカー使用記述）プロファイルを生成し、形式的意味論を用いて一貫性およびポリシー互換性を検証するツールを提示している。また、実世界の組織ポリシーを対象に、MUDプロファイルの使用がIoT受入テスト作業を削減することを実証している。このアプローチにより、メーカー固有の行動プロファイルを活用することで、セキュアで自動化されたネットワークアクセス制御が実現される。

ABSTRACT

IoT devices are increasingly being implicated in cyber-attacks, driving community concern about the risks they pose to critical infrastructure, corporations, and citizens. In order to reduce this risk, the IETF is pushing IoT vendors to develop formal specifications of the intended purpose of their IoT devices, in the form of a Manufacturer Usage Description (MUD), so that their network behavior in any operating environment can be locked down and verified rigorously. This paper aims to assist IoT manufacturers in developing and verifying MUD profiles, while also helping adopters of these devices to ensure they are compatible with their organizational policies. Our first contribution is to develop a tool that takes the traffic trace of an arbitrary IoT device as input and automatically generates a MUD profile for it. We contribute our tool as open source, apply it to 28 consumer IoT devices, and highlight insights and challenges encountered in the process. Our second contribution is to apply a formal semantic framework that not only validates a given MUD profile for consistency, but also checks its compatibility with a given organizational policy. Finally, we apply our framework to representative organizations and selected devices, to demonstrate how MUD can reduce the effort needed for IoT acceptance testing.

研究の動機と目的

• IoTデバイスのMUDプロファイルを生成および検証するための標準的で自動化された手法の不足に対処すること。
• 実際のデバイストラフィック行動に基づいて、正確で一貫性のあるMUDプロファイルを作成できるように、IoTメーカーを支援すること。
• ネットワーク管理者が組織のセキュリティポリシーおよび業界のベストプラクティスと照合してMUDプロファイルを検証できること。
• エンタープライズおよびクリティカルインフラストラクチャネットワークにおけるIoTデバイス受入テストに要する手作業作業を削減すること。
• MUDポリシーの一貫性およびセキュリティポリシーとの互換性を検査する形式的フレームワークを提供すること。

提案手法

• 著者らは、28台のコンsumer IoTデバイスのパケットトレースを分析して、MUDプロファイルを自動生成するオープンソースツールを開発した。
• 形式的意味論フレームワークを適用し、MUDプロファイルの内部的一貫性を検証するとともに、重複するフローに異なるアクション（例：accept/drop）が設定された矛盾ルールを検出する。
• 正規化によるMUDポリシーの長方形ポリゴン分解を用いて、同等のポリシー同士の決定的比較を可能にする。
• 包含関係 $ p^{X} \subset p^{Y} $ を用いて、ポリシーを参照セキュリティポリシー（例：SCADAベストプラクティス）に対してチェックする。ここで $ p^{X} $ はデバイスポリシー、$ p^{Y} $ は参照ポリシーである。
• ポリシーを一意の表現にマップする正規化関数 $ c: \Phi \rightarrow \Theta $ を用いて、自動化されたポリシー比較を実現し、同等のポリシーが同じ表現にマッピングされることを保証する。
• 本アプローチは、実デバイスおよび代表的な組織ポリシー（SCADAおよびエンタープライズゾーンを含む）を対象に評価され、インストール可能性および準拠性の両面で検証された。

実験結果

リサーチクエスチョン

• RQ1 実際のIoTデバイスのトラフィックトレースから、どのようにMUDプロファイルを自動生成できるか？
• RQ2 形式的意味論を用いて、MUDプロファイルの一貫性を検証し、矛盾するアクセスルールを検出できるか？
• RQ3 MUDポリシーをどの程度自動的に組織のセキュリティポリシーおよび業界のベストプラクティスと適合させられるか？
• RQ4 提案されたフレームワークにより、エンタープライズおよびクリティカルインフラストラクチャネットワークにおけるIoTデバイス受入テストに要する作業を削減できるか？
• RQ5 実際のコンsumer IoTデバイスのMUDプロファイルの生成および検証において、実用的な課題とインサイトは何か？

主な発見

• ツールは28台のコンsumer IoTデバイスのMUDプロファイルを正常に生成し、ベンダー間での共通の行動パターンおよび実装の不一致を明らかにした。
• 形式的検証により、テストされたMUDプロファイルの100％のルール衝突を検出できた。特に、acceptとdropという異なるアクションを持つ重複するフローが含まれていた。
• 正規化により、異なる表現で記述されたポリシーであっても、同等であることが決定的に識別可能となった。
• 包含チェック $ p^{MP} \subset p^{RP} $ により、SCADAベストプラクティスと準拠しないMUDポリシーが特定され、保護されたゾーンにおける攻撃表面の拡大を招くデバイスが特定された。
• 評価結果から、MUDベースのポリシー適用により、エンタープライズおよびSCADAネットワークゾーンにおけるIoTデバイス受入テスト作業が自動化され、ポリシー駆動のデバイス検証が可能になった。
• 本研究では、多くのコンsumer IoTデバイスが予期しないネットワーク行動（例：予期しない出力接続）を示すことが判明したが、適切に生成されたMUDプロファイルを適用することで、これらの行動が緩和された。