[論文レビュー] Securing Smartphones: A Micro-TCB Approach

Yossi Gilad, Amir Herzberg+1 more|arXiv (Cornell University)|Jan 29, 2014

Security and Verification in Computing参考文献 16被引用数 7

ひとこと要約

本論文は、スマートフォン向けに、ARMのTrustZoneを用いてセンサーアクセスやユーザー認証などの重要なセキュリティ機能を最小限で形式的に検証可能な信頼できる環境に隔離するマイクロTrusted Computing Base（μTCB）を提案する。セキュリティ・アテンション・キー（SAK）を介してセキュアモードを起動することで、ユーザーの物理的存在を保証し、メインOSが侵害されても敏感な操作を保護する。モード遷移のパフォーマンスオーバーヘッドは5 μs未満、ユーザー操作のオーバーヘッドは2 ms未塔であり、非常に低い。

ABSTRACT

As mobile phones have evolved into `smartphones', with complex operating systems running third- party software, they have become increasingly vulnerable to malicious applications (malware). We introduce a new design for mitigating malware attacks against smartphone users, based on a small trusted computing base module, denoted uTCB. The uTCB manages sensitive data and sensors, and provides core services to applications, independently of the operating system. The user invokes uTCB using a simple secure attention key, which is pressed in order to validate physical possession of the device and authorize a sensitive action; this protects private information even if the device is infected with malware. We present a proof-of-concept implementation of uTCB based on ARM's TrustZone, a secure execution environment increasingly found in smartphones, and evaluate our implementation using simulations.

研究の動機と目的

• スマートフォンの複雑なエコシステムにおけるマルウェアの増大する脅威が、ユーザーのプライバシーとデータを損なう問題に対処する。
• 攻撃表面を最小限に抑え、セキュリティの信頼性を高めるために、信頼できるコンピューティングベース（TCB）を最小限で形式的に検証可能なコンponentに削減する。
• メインOSが侵害されても、支払いやメッセージングなどの機微な機能に対する安全なユーザーインタラクションを可能にする。
• 専用のセキュリティ・アテンション・キー（SAK）を介した物理的ユーザー存在の確認を活用し、リモートまたは自動化された攻撃を防止する。
• ARM TrustZoneハードウェア上でプロトタイプ実装を用いて、μTCBアプローチの実現可能性とパフォーマンスを実証する。

提案手法

• ARM TrustZone内のセキュアワールドで実行されるマイクロTCB（μTCB）を設計し、スマートフォンのメインOSから完全に分離する。
• 物理的なボタン押下によってセキュアモードに遷移するセキュリティ・アテンション・キー（SAK）メカニズムを実装する。
• セキュアモードでは、μTCBがスクリーンやセンサーなどの重要な周辺機器を制御し、OSにデータを転送する前に制御を握る。
• アプリケーションがμTCBサービス（例：セキュアメッセージング、支払い処理）を呼び出すための最小限のAPIを提供する。
• NWorld（通常モード）とSWorld（セキュアモード）間の世界切り替えを管理し、割り込みのリマップを介してOSと統合する。
• Cortex-A9プロセッサ上でARM FastModelsシミュレータを用いてパフォーマンスを評価し、起動、API呼び出し、SAK起動のサイクル数を測定する。

実験結果

リサーチクエスチョン

• RQ1 OSレベルでの侵害に対してもスマートフォンアプリケーションを保護するために、最小限で形式的に検証可能な信頼できるコンponentをどのように活用できるか？
• RQ2 スマートフォン環境における通常モードとセキュアモード間の切り替えにかかるパフォーマンスオーバーヘッドはどの程度か？
• RQ3 リモートまたは自動化された攻撃を防ぐために、ユーザーの物理的存在を信頼性高くどのように確立できるか？
• RQ4 既存のスマートフォンオペレーティングシステムおよびハードウェアプラットフォームとμTCBを統合する際の実用的課題は何か？
• RQ5 機微な操作中にユーザーがμTCBと安全にインタラクトできるインターフェースをどのように設計できるか？

主な発見

• μTCBの起動時初期化にはたった1,600サイクル（Cortex-A9では3 μs未塔）で十分であり、起動時のオーバーヘッドは非常に小さい。
• 通常モードとセキュアモード間の切り替えには約3,000サイクル（約5 μs）のコストがかかるが、これはAPI呼び出しまたはSAK押下時のみに発生する。
• SAK押下処理（スクリーンの制御を獲得し、セキュアメニューを表示）には100万サイクル未塔（2 ms未塔）で十分であり、ユーザーにはほとんど感知されない。
• 全体的なパフォーマンスオーバーヘッドは低く、リアルタイムのユーザーインタラクションにとって許容可能である。特に、I/O割り込みの大部分は通常モードで処理されるため、切り替えの頻度は低い。
• 実装により、OSが侵害されても、敏感な操作を効果的に隔離し、安全なパスを提供できることが実証された。
• OS統合には実用的課題が残っており、効率的な割り込みリマップやアプリケーションがμTCB APIにアクセスできるようにするには、OSレベルのパッチが必要である。