[论文解读] 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

一句话总结

本文提出一种用于智能手机的微型可信计算基（μTCB），通过ARM的TrustZone技术，将关键安全功能（如传感器访问和用户认证）隔离在一个最小化、可形式化验证的可信环境中。通过使用安全注意键（SAK）触发安全模式，μTCB确保用户存在性，并在主操作系统被攻破时仍能保护敏感操作，模式切换的性能开销低于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）缩减为最小化、可形式化验证的组件，以限制攻击面并提高安全保证。
• 即使主操作系统被攻破，也能确保用户对敏感功能（如支付、消息通信）的安全交互。
• 利用专用的安全注意键（SAK）实现物理用户存在性验证，防止远程或自动化攻击。
• 通过在ARM TrustZone硬件上的概念验证实现，证明μTCB方法的可行性与性能表现。

提出的方法

• 设计一种运行在ARM TrustZone安全世界中的微TCB（μTCB），与主智能手机操作系统完全隔离。
• 实现一种安全注意键（SAK）机制，通过物理按键按下触发进入安全模式。
• 在安全模式下，μTCB在将数据转发给操作系统前，接管关键外设（如屏幕、传感器）的控制权。
• 为应用程序提供最小化API，用于调用μTCB服务，如安全消息传递和支付处理。
• 通过重映射中断并管理正常世界（NWorld）与安全世界（SWorld）之间的模式切换，将μTCB与操作系统集成。
• 使用ARM FastModels仿真器在Cortex-A9处理器上评估性能，测量启动、API调用和SAK触发的周期数。

实验结果

研究问题

• RQ1 如何利用一个最小化、可形式化验证的可信组件，保护智能手机应用免受操作系统级别攻击？
• 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中断均在正常世界处理，无需切换。
• 实现表明，μTCB能有效隔离敏感操作，并在操作系统被攻破时仍提供安全通道。
• 在操作系统集成方面仍存在实际挑战，如高效中断重映射和向应用程序暴露μTCB API，需对操作系统进行补丁修改。