系统安全机制概述
Trusty作为基于ARM TrustZone技术的安全执行环境(TEE)，提供了多层次的安全机制来保护系统免受各种攻击。本章将详细介绍Trusty系统中的三大核心安全机制：安全启动链、防回滚保护和运行时完整性校验。
注意：这些安全机制共同构成了Trusty系统的防御体系，在实际部署时需要综合考虑硬件支持、性能影响和安全性之间的平衡。
安全启动链（Verified Boot集成）
安全启动链原理
Trusty的安全启动链(Verified Boot)是一套完整的信任链验证机制，确保从硬件启动到Trusty OS加载的每个阶段都经过严格的验证：
- 硬件信任根(ROT)：基于芯片内置的不可变密钥
- 阶段式验证：BL1 → BL2 → BL31(ATF) → Trusty OS
- 数字签名验证：每个阶段验证下一阶段的数字签名
- 证书链验证：使用X.509证书链建立信任关系
Trusty安全启动链示意图
图1: Trusty安全启动流程及验证点
实现细节
在Trusty中实现安全启动链的关键技术：
- BL1/BL2验证：由BootROM验证初始引导加载程序
- ATF集成：ARM Trusted Firmware作为BL31验证Trusty OS
- Trusty镜像签名：使用RSA-PSS或ECDSA签名
- 密钥管理：硬件安全模块(HSM)保护根密钥
// Trusty镜像签名示例
openssl dgst -sha256 -sign private_key.pem -out trusty.img.sig trusty.img
// ATF中验证签名代码片段
int verify_signature(const uint8_t *image, size_t image_size, const uint8_t *sig) {
// 使用硬件加速的加密验证
...
}
防回滚保护（Anti-rollback）
防回滚机制原理
防回滚保护防止攻击者将系统回退到已知漏洞的旧版本，主要依赖：
- 版本计数器：存储在OTP或eFuse中的单调递增计数器
- 镜像版本绑定：每个安全镜像包含最低支持的版本号
- 硬件强制验证：由安全硬件执行版本检查
警告：防回滚机制一旦触发，可能导致设备无法启动，因此在生产环境中部署前必须充分测试升级流程。
Trusty中的实现
Trusty系统实现防回滚保护的关键组件：
| 组件 | 功能 | 实现方式 |
|---|---|---|
| 版本存储 | 存储当前系统版本 | eFuse/OTP存储器 |
| 版本验证 | 检查镜像版本兼容性 | ATF中的安全启动代码 |
| 升级策略 | 安全更新机制 | A/B分区或增量更新 |
// 防回滚检查伪代码
bool check_antirollback(uint32_t image_version) {
uint32_t current_version = read_efuse(VERSION_EFUSE);
if (image_version < current_version) {
secure_log("Rollback attempt detected!");
return false;
}
return true;
}
运行时完整性校验（IMA扩展）
完整性度量架构
Trusty扩展了Linux的IMA(Integrity Measurement Architecture)机制，提供运行时完整性保护：
- 静态度量：启动时验证所有加载的可执行文件
- 动态度量：运行时监控关键内存区域
- 远程证明：向远程服务证明系统完整性
- 信任链扩展：从安全启动延伸到运行时
Trusty IMA架构
图2: Trusty完整性度量架构
实现技术细节
Trusty运行时完整性校验的关键实现：
- 度量引擎：基于硬件的SHA加速器
- 策略引擎：灵活的策略定义语言
- 日志机制：防篡改的安全日志
- 响应机制：违规检测后的安全响应
// IMA策略示例
measure func=MMAP_CHECK mask=MAY_EXEC uid=0
measure func=BPRM_CHECK mask=MAY_EXEC uid=0
appraise func=FILE_CHECK mask=MAY_READ uid=0
// 完整性度量日志条目
10:45:23 2023-11-15 sha256:abcd...1234 /trusty/bin/secure_service
最佳实践：在部署运行时完整性校验时，应建立基线数据库，只允许已知良好的哈希值执行，并定期更新策略以适应系统更新。
安全机制协同工作
Trusty的三大安全机制不是孤立的，而是协同工作的整体防御体系：
- 安全启动链确保初始状态可信
- 防回滚保护确保系统不会退化到不安全版本
- 运行时完整性校验确保运行过程不被篡改
性能考虑：虽然这些安全机制提供了强大的保护，但也会引入一定的性能开销。在资源受限的设备上，需要仔细权衡安全性和性能。