[论文解读] An Exploratory Study of Attestation Mechanisms for Trusted Execution Environments

Jämes Ménétrey, Christian Göttel+3 more|ArXiv.org|Apr 14, 2022

Security and Verification in Computing被引用 9

一句话总结

本文对现代可信执行环境（Trusted Execution Environments, TEEs）中的远程证明机制进行了全面的对比分析，涵盖 Intel SGX、Arm TrustZone、AMD SEV 以及新兴的 RISC-V TEEs。研究评估了其在核心证明属性（完整性、新鲜度、加密、相互证明和远程验证）方面的支持情况，揭示了不同处理器架构在成熟度、硬件支持和安全保证方面存在显著差异。

ABSTRACT

Attestation is a fundamental building block to establish trust over software systems. When used in conjunction with trusted execution environments, it guarantees that genuine code is executed even when facing strong attackers, paving the way for adoption in several sensitive application domains. This paper reviews existing remote attestation principles and compares the functionalities of current trusted execution environments as Intel SGX, Arm TrustZone and AMD SEV, as well as emerging RISC-V solutions.

研究动机与目标

• 分析并比较主流处理器架构中商用 TEEs 的最新远程证明机制。
• 识别在硬件辅助证明支持方面的差距，特别是 Arm TrustZone 和 RISC-V TEEs，这些通常依赖软件替代方案。
• 评估现有 TEEs 在远程信任建立中的成熟度和安全属性（例如完整性、新鲜度、加密）。
• 突出不同 TEEs 在隔离粒度、系统支持和信任根机制方面的架构差异。
• 通过识别当前 TEE 证明支持中的潜在方向与局限性，为未来研究和工业部署提供指导。

提出的方法

• 系统性地回顾并对比了四种主要 TEEs 的远程证明能力：Intel SGX、Arm TrustZone（A/M）、AMD SEV（ES/SNP）以及新兴的 RISC-V TEEs（Keystone、Sanctum、TIMBER-V、LIRA-V）。
• 基于 15 项关键属性（包括完整性、新鲜度、加密、相互证明、开源状态以及对用户态执行的支持）对每种 TEE 进行评估。
• 映射每种 TEE 的隔离机制（例如，进程内地址空间、安全世界、虚拟机级别）和系统支持（微码、固件、安全监控器、PMP），以理解信任边界。
• 分析硬件绑定密钥（如信任根）和密码学证据生成（如 MAC、数字签名）在证明工作流中的作用。
• 调查硬件证明协议与混合证明协议，包括 TIMBER-V 中的对称密钥证据和 LIRA-V 中的相互证明。
• 根据其信任模型对 TEEs 进行分类，包括是否支持任意代码执行、多可信应用以及工业部署就绪性。

实验结果

研究问题

• RQ1 Intel SGX、Arm TrustZone、AMD SEV 和 RISC-V TEEs 在支持远程证明属性（如完整性、新鲜度和加密）方面有何差异？
• RQ2 在应用级隔离（如 SGX）与虚拟机级隔离（如 SEV）的 TEEs 之间，存在哪些架构权衡？
• RQ3 为何某些 TEEs（如 Arm TrustZone 和原生 RISC-V）缺乏内置的证明机制，这对信任建立有何影响？
• RQ4 新兴的 RISC-V TEEs（如 Keystone、Sanctum）在多大程度上提供硬件辅助证明？与成熟 TEEs 相比表现如何？
• RQ5 当前基于 TEE 的证明存在哪些关键局限性，阻碍其在高安全要求的远程计算工作负载中的广泛采用？

主要发现

• Intel SGX 提供成熟且内置的远程证明协议，对多个独立可信应用和相互证明具有强大支持。
• AMD SEV（尤其是 SEV-SNP）支持对隔离虚拟机的远程证明，能有效防范不受信的虚拟机监控器，并实现在虚拟机级别的证明。
• Arm TrustZone-A 和 TrustZone-M 提供有限的原生证明支持，依赖软件解决方案或社区开发的扩展；其中 TrustZone-M 为软件证明提供了信任根。
• RISC-V TEEs 如 Keystone 和 Sanctum 支持硬件隔离和信任根机制，但其证明支持差异显著，部分甚至完全缺乏远程证明功能。
• TIMBER-V 和 LIRA-V 展示了在受限边缘设备上使用对称密码学和安全内存隔离实现可行相互证明协议的潜力，尽管尚未广泛部署。
• 在 RISC-V 和部分 Arm TEEs 中，标准化的硬件辅助远程证明仍存在关键空白，使其在高保障远程信任场景中适用性较低。