[論文レビュー] Automated Dynamic Firmware Analysis at Scale: A Case Study on Embedded Web Interfaces

Andrei Costin, Apostolis Zarras+1 more|arXiv (Cornell University)|Nov 11, 2015

Web Application Security Vulnerabilities参考文献 56被引用数 26

ひとこと要約

本論文は、ソフトウェアオンリーエミュレーションを用いて、組み込みWebインターフェースを標的とした、完全に自動化されスケーラブルなフレームワークを初めて提示する。本研究では、54社のベンダーから提供された1,925個のファームウェアイメージの24％に、深刻な脆弱性が存在することを同定した。これは、物理デバイスを必要とせず、ベンダー固有の知識を要しない大規模な自動セキュリティテストの実現可能性と有効性を示している。

ABSTRACT

Embedded devices are becoming more widespread, interconnected, and web-enabled than ever. However, recent studies showed that these devices are far from being secure. Moreover, many embedded systems rely on web interfaces for user interaction or administration. Unfortunately, web security is known to be difficult, and therefore the web interfaces of embedded systems represent a considerable attack surface. In this paper, we present the first fully automated framework that applies dynamic firmware analysis techniques to achieve, in a scalable manner, automated vulnerability discovery within embedded firmware images. We apply our framework to study the security of embedded web interfaces running in Commercial Off-The-Shelf (COTS) embedded devices, such as routers, DSL/cable modems, VoIP phones, IP/CCTV cameras. We introduce a methodology and implement a scalable framework for discovery of vulnerabilities in embedded web interfaces regardless of the vendor, device, or architecture. To achieve this goal, our framework performs full system emulation to achieve the execution of firmware images in a software-only environment, i.e., without involving any physical embedded devices. Then, we analyze the web interfaces within the firmware using both static and dynamic tools. We also present some interesting case-studies, and discuss the main challenges associated with the dynamic analysis of firmware images and their web interfaces and network services. The observations we make in this paper shed light on an important aspect of embedded devices which was not previously studied at a large scale. We validate our framework by testing it on 1925 firmware images from 54 different vendors. We discover important vulnerabilities in 185 firmware images, affecting nearly a quarter of vendors in our dataset. These experimental results demonstrate the effectiveness of our approach.

研究の動機と目的

• 組み込みデバイス、特にWebインターフェースを備えたデバイスにおける急速に増加するセキュリティリスクに対処するため、従来のセキュリティ評価ではしばしば無視されがちな分野をカバーすること。
• 物理デバイスやベンダー固有の知識を必要としない、スケーラブルで自動化された動的ファームウェア分析フレームワークを構築すること。
• 実世界の組み込みファームウェアイメージに存在する脆弱性、特にXSSやコマンドインジェクションなどのWebアプリケーション脆弱性を同定・検証すること。
• 静的および動的分析を完全に自動化されたパイプライン内で統合することで、ファームウェアセキュリティテストの信頼性とカバレッジを向上させること。
• 開発者、セキュリティオペレーター、ベンダーが自動テストと是正戦略を通じてファームウェアセキュリティを向上させるための実用的で具体的なイン사이트を提供すること。

提案手法

• 本フレームワークは、QEMUベースのフルシステムエミュレーションを用いて、物理的ハードウェアを一切必要としないソフトウェア環境でファームウェアイメージを実行し、動的分析を可能にしている。
• 自動的にファームウェアコンポーネント（Webインターフェースを含む）を展開・抽出し、分析の準備を整えている。
• 市販の静的解析ツール（例：コードレベルの問題）と動的解析ツール（例：Webアプリケーションスキャナ）を統合し、脆弱性を検出している。
• 独自開発のクローラーとファズィングコンponentを用いて、Webインターフェースを探索・テストし、攻撃面のカバレッジを拡大している。
• エミュレーションおよびWebインターフェース起動時の障害を特定・分類するための障害分析モジュールを備えており、特定の改善策を講じられる。
• 障害を低減するための自動是正提案を適用することで、エミュレーションの成功率を向上させ、スケーラビリティを強化している。

実験結果

リサーチクエスチョン

• RQ1 完全に自動化され、ソフトウェアオンリーエミュレーションに依存するフレームワークは、Webインターフェースを備えた多様な組み込みデバイスにおいて、動的ファームウェア分析をスケーラブルに実行できるか？
• RQ2 組み込みファームウェアイメージの何パーセントが、そのWebインターフェースに利用可能な脆弱性を含んでおり、どのような種類の脆弱性が最も一般的か？
• RQ3 従来の手動または限定的なスケールのアプローチと比較して、自動化技術は組み込みWebインターフェースの脆弱性検出においてどれほど有効か？
• RQ4 自動修正によってエミュレーション障害をどの程度低減できるか、そしてその影響がファームウェア分析全体のスケーラビリティにどのように及ぶか？
• RQ5 静的および動的分析を統合されたパイプラインで効果的に組み合わせることで、脆弱性検出の正確性とカバレッジを向上させられるか？

主な発見

• 本フレームワークは、54社のベンダーから提供された1,925個のファームウェアイメージを分析し、深刻な脆弱性を含む185個のファームウェアイメージ（データセット全体の24％）を同定した。
• 185個のファームウェアイメージ全体で合計9,271件の問題が特定され、そのうち225件の高影響度脆弱性が動的分析により確認された。
• エミュレーション障害の少なくとも61.3％およびWebインターフェース起動障害の少なくとも25.2％が、比較的単純な保守的修正により解消された。
• 本研究では、特にSOHOデバイスに多く見られるが、XSS、SQLインジェクション、コマンドインジェクションといったよく知られたWebアプリケーション脆弱性が広く存在していることが明らかになった。
• 自動化された動的分析が、ソースコードや物理デバイスにアクセスできない状況でも、大規模に現実世界の脆弱性を効果的に特定できることを示している。
• 本フレームワークの成功は、ベンダーがファームウェア開発ライフサイクルに自動セキュリティテストを統合する必要性が極めて高いことを強く示唆している。