[论文解读] 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），利用指令模拟和硬件强制隔离，确保即使主操作系统被攻破，外设控制依然安全，且对高速设备（如 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 构建一个安全世界，使极简的可信内核（s-kernel）与非安全操作系统隔离运行。
• 通过指令模拟拦截并控制对外设寄存器的内存映射 I/O（MMIO）访问，无需修改操作系统或设备驱动程序。
• 对外设内存区域强制执行强内存顺序，以确保对外设控制指令的正确且可预测的拦截。
• 使用硬件防火墙（CSU）隔离并保护外设寄存器，使 s-kernel 能够中介所有访问。
• 设计一个安全内核，可明确通知用户外设状态，并强制执行二元的开关控制。
• 通过透明地模拟 MMIO 指令，与现有设备驱动程序和操作系统内核集成，保持系统稳定性和可用性。

实验结果

研究问题

• RQ1 能否在 ARM TrustZone 上构建一个极简的可信内核，以在不修改主操作系统或应用程序的前提下，实现对移动设备外设的可验证、可靠控制？
• RQ2 当 Android 或 Linux 内核被攻破时，如何在外设硬件级别强制执行控制？
• RQ3 指令模拟和内存顺序对外设（如 WiFi 和摄像头）的高吞吐量性能造成多大性能开销？
• RQ4 系统能否在确保强隔离和极小可信代码基的同时，维持可用性和稳定性？
• RQ5 是否可行通过一个极小的 TCB 实现安全的外设控制，且该 TCB 仍适合形式化验证？

主要发现

• s-kernel 能够成功拦截并模拟 MMIO 指令，以控制 WiFi、摄像头和麦克风等外设，且无需修改主操作系统或设备驱动程序。
• 由于陷阱和模拟开销，单个加载和存储操作的执行时间分别增加了 3.61 倍和 4.22 倍。
• 尽管存在此开销，WiFi 文件传输性能（上传和下载）未见明显下降，模拟模式下的传输时间与基线 Linux 性能一致。
• 对于高速设备，性能影响微乎其微，因为它们依赖 DMA 传输，而控制路径的模拟不影响 DMA 操作。
• 系统保持了系统稳定性和可用性，未观察到对现有 Android 或 Linux 功能的破坏。
• 该解决方案实现了通过极小可信代码基的可靠、可验证外设控制，使用户能够明确确认设备未在录音或传输数据。