[論文レビュー] PFirewall: Semantics-Aware Customizable Data Flow Control for Home Automation Systems

Haotian Chi, Qiang Zeng+2 more|arXiv (Cornell University)|Oct 17, 2019

Advanced Malware Detection Techniques参考文献 26被引用数 11

ひとこと要約

PFirewall は、自動的に最小限のデータポリシーを自動生成し、ユーザー定義のプライバシーポリシーを可能にする意味理解型でカスタマイズ可能なデータフローコントロールシステムであり、ホームオートメーションプラットフォームにおける IoT データ漏洩れを低減する。このシステムは、中間者型の透過的プロキシを用いて、プラットフォームに到達する前にデータをフィルタリングし、ホームオートメーションの機能を損なわずにデータ送信量を 97% 減少させる。

ABSTRACT

Emerging Internet of Thing (IoT) platforms provide a convenient solution for integrating heterogeneous IoT devices and deploying home automation applications. However, serious privacy threats arise as device data now flow out to the IoT platforms, which may be subject to various attacks. We observe two privacy-unfriendly practices in emerging home automation systems: first, the majority of data flowed to the platform are superfluous in the sense that they do not trigger any home automation; second, home owners currently have nearly zero control over their data. We present PFirewall, a customizable data-flow control system to enhance user privacy. PFirewall analyzes the automation apps to extract their semantics, which are automatically transformed into data-minimization policies; these policies only send minimized data flows to the platform for app execution, such that the ability of attackers to infer user privacy is significantly impaired. In addition, PFirewall provides capabilities and interfaces for users to define and enforce customizable policies based on individual privacy preferences. PFirewall adopts an elegant man-in-the-middle design, transparently executing data minimization and user-defined policies to process raw data flows and mediating the processed data between IoT devices and the platform (via the hub), without requiring modifications of the platform or IoT devices. We implement PFirewall to work with two popular platforms: SmartThings and openHAB, and set up two real-world testbeds to evaluate its performance. The evaluation results show that PFirewall is very effective: it reduces IoT data sent to the platform by 97% and enforces user defined policies successfully.

研究の動機と目的

• IoT プラットフォームへのデータフローに対するユーザーの制御の欠如、ならびに不要なデータが送信されるという問題に対処すること。
• 実際のホームオートメーションアプリの意味的性質に基づいてデータ最小化を実現し、プライバシーの露出を低減すること。
• 個々のユーザーの好みを反映したカスタマイズ可能なプライバシーポリシーを提供すること。
• プラットフォームやデバイスの変更なしに、既存の閉鎖型 IoT プラットフォームでもデータ保護を実現すること。
• クラウドへの送信データを最小限に抑えつつ、ホームオートメーションの完全な機能を維持すること。

提案手法

• PFirewall は静的および動的コード解析を用いて、ホームオートメーションアプリからルールベースの意味的性質を抽出し、イベント-条件-アクション（ECA）ルールとして表現する。
• 実行に必要なデータが意味的に必要不可欠であるかを分析することで、自動的にデータ最小化ポリシーを生成する。
• IoT デバイスとプラットフォームハブの間に中間者型プロキシを配置し、データフローを透明に中継・フィルタリングする。
• アプリケーションの意味的性質とユーザー定義ルールに基づき、データを破棄・変更・ぼかし処理することができるプロキシによるポリシーの強制を実現する。
• 既存の API やスクリプトツールを用いて SmartThings や openHAB などのプラットフォームと統合し、プラットフォームやデバイスのファームウェア変更を回避する。
• ユーザー定義ポリシーはカスタマイズ可能なインターフェースを通じて強制され、データ漏洩れに対する細かいつながりの制御が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ホームオートメーションアプリケーションの意味的性質から、どのようにして自動的にデータ最小化ポリシーを導出できるか？
• RQ2 透過的かつ非侵襲的なプロキシシステムは、閉鎖型 IoT プラットフォームにおいて、自動化機能を損なわずにデータ漏洩れを効果的に低減できるか？
• RQ3 既存のプラットフォームアーキテクチャに、どの程度までユーザー定義プライバシーポリシーを統合できるか？
• RQ4 本システムは、ホームオートメーションの正しく動作を保ちながら、データ送信量をどの程度低減できるか？
• RQ5 このようなシステムを実世界のスマートホーム環境に展開するにあたり、性能上のオーバーヘッドと実現可能性はどの程度か？

主な発見

• PFirewall は、実世界のテストベッド評価において、IoT プラットフォームに送信されるデータ量を 97% 減少させた。
• システムは、自動生成されたデータ最小化ポリシーとユーザー定義プライバシーポリシーの両方を、ホームオートメーションの機能に支障を来さすことなく効果的に強制した。
• 透過的プロキシアーキテクチャにより、プラットフォームや IoT デバイスの変更なしに効果的な中継が可能になった。
• SmartThings や openHAB への成功した統合を通じて、他のプラットフォームへの一般化可能性が実証された。
• プラットフォームが侵害された場合でさえ、攻撃者がデータフローからユーザー行動を推測する能力を著しく損なう。
• 評価により、ECA ルールの意味的性質に基づくデータ最小化が、自動化ワークフローの機能的正しさに影響を及ぼさないことが確認された。