[論文レビュー] SeCloak: ARM Trustzone-based Mobile Peripheral Control

Matthew Lentz, Rijurekha Sen+2 more|arXiv (Cornell University)|Jan 23, 2020

Advanced Malware Detection Techniques参考文献 44被引用数 9

ひとこと要約

SeCloak は、ARM TrustZone を基盤とするシステムであり、カメラ、マイク、ラジオなどのモバイルデバイス周辺機器の、検証可能で信頼性の高いオンオフ制御を、最小限の信頼されるコンポーネント（TCB）キーネルを用いて実現する。既存のソフトウェア（例：Android や Linux）を変更せずに、命令エミュレーションとハードウェアによる隔離を用いることで、メインOSが侵害された場合でも周辺機器制御が安全に保たれ、WiFi などの高スルーレートデバイスでは性能への影響が最小限に抑えられる。

ABSTRACT

Reliable on-off control of peripherals on smart devices is a key to security and privacy in many scenarios. Journalists want to reliably turn off radios to protect their sources during investigative reporting. Users wish to ensure cameras and microphones are reliably off during private meetings. In this paper, we present SeCloak, an ARM TrustZone-based solution that ensures reliable on-off control of peripherals even when the platform software is compromised. We design a secure kernel that co-exists with software running on mobile devices (e.g., Android and Linux) without requiring any code modifications. An Android prototype demonstrates that mobile peripherals like radios, cameras, and microphones can be controlled reliably with a very small trusted computing base and with minimal performance overhead.

研究の動機と目的

• プライバシーとセキュリティを保護するため、モバイルデバイスのセンサーやラジオに対する信頼性の高い、ユーザーが検証可能な制御の必要性に対処すること。
• Android や Linux、サードパーティアプリを含む、既存のモバイルソフトウェアスタックを変更せずに、安全な周辺機器制御を可能にすること。
• 強い隔離とハードウェアレベルでの周辺機器状態の強制を確保しつつ、信頼されるコードベース（TCB）を最小限に抑えること。
• 特に WiFi やカメラのような高スルーレート周辺機器において、システムの使いやすさとパフォーマンスを維持すること。
• 既存のモバイルプラットフォームに最小限の変更で統合可能な、実用的で展開可能なソリューションを提供すること。

提案手法

• ARM TrustZone を活用し、非セキュアOSとは隔離された状態で、最小限の信頼されるキーネル（s-kernel）が実行されるセキュアワールドを構築する。
• OS やデバイスドライバを変更せずに、メモリマップド I/O（MMIO）アクセスを傍受・制御するための命令エミュレーションを用いる。
• 周辺機器レジスタへのアクセスを正しくかつ予測可能に傍受できるように、デバイスメモリ領域に対する強いメモリ順序付けを強制する。
• ハードウェアファイアウォール（CSU）を用いて周辺機器レジスタを隔離・保護し、s-kernel がすべてのアクセスを仲介できるようにする。
• 周辺機器の状態をユーザーに明確に通知でき、オン/オフのバイナリ制御を強制できる、安全なキーネルを設計する。
• MMIO 命令を透過的にエミュレートすることで、既存のデバイスドライバーやOSキーネルと統合し、システムの安定性と使いやすさを保つ。

実験結果

リサーチクエスチョン

• RQ1 ARM TrustZone 上に、メインOS やアプリケーションを変更せずに、モバイルデバイス周辺機器に対する検証可能で信頼性の高い制御を提供する最小限の信頼されるキーネルを構築可能か？
• RQ2 Android や Linux カーネルが侵害された場合でも、周辺機器制御をハードウェアレベルで強制する方法は何か？
• RQ3 命令エミュレーションとメモリ順序付けは、WiFi やカメラのような高スルーレート周辺機器にどの程度のパフォーマンスオーバーヘッドをもたらすか？
• RQ4 強い隔離と最小限の信頼されるコードを確保しつつ、使いやすさと安定性を維持できるか？
• RQ5 形式的検証が容易な小さな TCB を用いて、安全な周辺機器制御を実現することは可能か？

主な発見

• s-kernel は、メインOS やデバイスドライバを変更せずに、WiFi やカメラ、マイクなどの周辺機器を制御するMMIO 命令を正常に傍受・エミュレートした。
• 命令レベルのエミュレーションにより、個々のロードおよびストア操作の実行時間が、それぞれ 3.61 倍および 4.22 倍に増加した（トラップとエミュレーションのオーバーヘッドによる）。
• このオーバーヘッドにもかかわらず、WiFi ファイル転送（アップロードおよびダウンロード）のパフォーマンスには目に見える劣化がなく、エミュレーションモード下での転送時間はベースラインの Linux パフォーマンスと一致した。
• DMA による転送に依存する高スルーレートデバイスでは、コントロールパスのエミュレーションの影響が最小限に抑えられ、パフォーマンスへの影響が顕著に小さい。
• システムの安定性と使いやすさが維持され、Android や Linux 機能に障害は観測されなかった。
• 最小限の信頼されるコードベースを用いて、信頼性の高い検証可能な周辺機器制御を実現し、ユーザーがデバイスがデータを記録または送信していないことを明確に確認できるようになった。