[論文レビュー] Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities

Z. Berkay Celik, Earlence Fernandes+3 more|arXiv (Cornell University)|Sep 18, 2018

Advanced Malware Detection Techniques被引用数 29

ひとこと要約

本稿は、商品用IoTアプリケーションにおけるセキュリティおよびプライバシー保護のためのプログラム解析技術を調査し、物理世界との相互作用、プラットフォーム固有の特異性、マルチアプリケーション解析の限界といった、IoTプラットフォームにおける独自の課題を特定している。本稿は、センサーー計算ーアクチュエータ抽象化を用いたIoTアプリの解析フレームワークを提案し、既存ツールにおける重大なギャップ（特にパス／コンテキストの感度、スケーラビリティ、リアルタイムリソース効率性）を明らかにするとともに、動的IoT環境における安全性とプライバシーを確保するため、コンテキストに配慮した低オーバーヘッドの解析を提唱している。

ABSTRACT

Recent advances in Internet of Things (IoT) have enabled myriad domains such as smart homes, personal monitoring devices, and enhanced manufacturing. IoT is now pervasive---new applications are being used in nearly every conceivable environment, which leads to the adoption of device-based interaction and automation. However, IoT has also raised issues about the security and privacy of these digitally augmented spaces. Program analysis is crucial in identifying those issues, yet the application and scope of program analysis in IoT remains largely unexplored by the technical community. In this paper, we study privacy and security issues in IoT that require program-analysis techniques with an emphasis on identified attacks against these systems and defenses implemented so far. Based on a study of five IoT programming platforms, we identify the key insights that result from research efforts in both the program analysis and security communities and relate the efficacy of program-analysis techniques to security and privacy issues. We conclude by studying recent IoT analysis systems and exploring their implementations. Through these explorations, we highlight key challenges and opportunities in calibrating for the environments in which IoT systems will be used.

研究の動機と目的

• 商品用IoTアプリケーションにおけるセキュリティおよびプライバシーの脆弱性を、プログラム解析技術を用いて特定および分析すること。
• モバイルや従来のソフトウェアプラットフォームと比較して、IoTプログラミングプラットフォームが引き起こす独自の課題を理解すること。
• 既存のIoT解析ツールの有効性を評価し、マルチアプリケーション環境、物理プロセスとの相互作用、リソース効率性におけるそのサポートのギャップを同定すること。
• 特にセーフティクリティカルおよびプライバシー感受性の高い文脈において、効果的なプログラム解析を実現するための設計原則および精度要件を提言すること。
• スケーラビリティ、コンテキスト感度、解析手法のリアルタイムシステムへの影響といった未解決問題を明らかにすることで、今後の研究を導くこと。

提案手法

• SmartThings、HomeKit、OpenHAB、AWS IoT、Android Thingsの5つの主要なIoTプラットフォームを比較し、そのアプリ構造をセンサーー計算ーアクチュエータ抽象化にマッピングした。
• 230個のSmartThingsアプリを解析し、データ漏洩、安全でないアクチュエータ制御、リフレクションベースの呼び出しといった、現実世界のセキュリティおよびプライバシー上の問題を抽出した。
• リフレクションによる動的メソッド呼び出しやウェブサービス統合といった、プラットフォーム固有の特異性を同定し、静的解析を複雑にする要因となった。
• 文献に登場する既存のIoT解析システムを評価し、静的および動的解析の使用、精度要件、情報フローの取り扱いに焦点を当てた。
• IoTコード解析の一般的な精度要件（パス・コンテキスト感度を含む）を提言し、微細な脆弱性の検出を向上させた。
• エネルギー消費を低減するため、プログラム解析と統計モデリングを組み合わせることを提唱した。これにより、センサーのポーリングやランタイム監視にかかるエネルギーオーバーヘッドを軽減できる。

実験結果

リサーチクエスチョン

• RQ1 IoTプログラミングプラットフォームの構造的および意味的特徴は、モバイルまたは一般用途プラットフォームとどのように異なり、その差がプログラム解析にどのように影響するか？
• RQ2 従来のプログラム解析技術では検出が難しい、IoTアプリケーションにおける主なセキュリティおよびプライバシー上の脆弱性は何か？
• RQ3 なぜ既存のIoT解析ツールは、トリガー・アクションプログラミングモデルにおいて、マルチアプリケーション間の相互作用や情報フローを適切に処理できないのか？
• RQ4 大規模なIoTシステム（例：産業用またはスマートシティの展開）へのプログラム解析を適用する際のスケーラビリティおよびリソース効率性の課題は何か？
• RQ5 セキュリティまたはセーフティ違反が検出された場合、重要な物理的動作を妨げることなく、安全かつ効果的に対応できるように、プログラム解析システムはどのように設計すべきか？

主な発見

• 主要なIoTプラットフォームは、すべてセンサーー計算ーアクチュエータという構造的アイデアに従ってアプリを構造化しており、これによりIoTの論理およびデータフローの統一的抽象化が可能である。
• 既存のIoT解析ツールは主にプラットフォームに特化しており、特に情報フローがアプリ間を横断するトリガー・アクションシステムにおいて、マルチアプリケーション環境のサポートが不足している。
• 現在の大多数のアプローチはパス・コンテキスト感度解析を採用していないため、微細なセキュリティおよびプライバシー上の問題の検出において、高い偽陽性および偽陰性のレートを示している。
• 研究コミュニティは、多数のオープンソースアプリとGroovyベースのASTを提供するSmartThingsプラットフォームを主に評価に用いている。これによりASTレベルの解析が可能になるが、言語固有の制約が生じる。
• IoT解析システムは、頻繁なセンサーのポーリングによるエネルギー消費といったシステムリソースコストをしばしば無視しており、これはデバイスのバッテリー寿命やリアルタイム応答性を損なう可能性がある。
• 違反が検出された際にもシステムの安全性を保つための応答メカニズムが極めて重要である。例として、火災アラーム時にドアの解除をブロックする措置は、単なる拒否ではなく、知的でコンテキストに配慮したポリシーを必要とし、それが災害的結果を招く可能性がある。