推荐 3.5
Conf: 50%
本文提出了一种名为 TPMSpy 的平台无关方法,用于验证可信启动(Measured Boot)系统的实际实现是否符合预期安全假设。可信启动通过将执行软件和系统状态的密码学度量记录到可信平台模块(TPM)中,从而支持远程证明。然而,现有操作系统虽然越来越多地采用该机制,其实际安全性取决于实现是否在预期条件下度量了预期组件,但这一前提从未被系统性检查。作者从虚拟化系统与 TPM 交互的底层跟踪入手,独立重建并验证 TPM 事件日志,且不依赖 TPM 自身的引用机制。该方法不依赖具体实现细节,因此既适用于开源系统也适用于闭源系统。作者在 Linux 和 Windows 上验证了该方法,并对 Linux 系统中 systemd 245 至 258 版本(2020-2025)的 Measured Boot 使用进行了纵向分析。研究发现,各系统之间的使用模式存在显著差异,没有任何单一模式占主导,因此需要针对具体系统进行定制化分析。进一步的分析揭示了未记录的 TPM 使用行为变化,并发现了 systemd 用户空间服务在度量上存在不一致性,这会导致远程证明不可靠,并可能阻碍 LUKS 磁盘解密。主要贡献包括:提出一种不依赖引用机制的 TPM 事件日志独立验证方法;系统性地揭示了主流操作系统在可信启动实现上的行为漂移与隐患;为安全审计和远程证明可靠性评估提供了实用工具。该文适合研究可信计算、远程证明、系统安全审计以及引导流程安全的学者和工程师阅读。
💡 推荐理由: 该研究提供了独立、可审计的 TPM 使用验证手段,能发现实际系统中可信启动实现的分歧和隐藏缺陷,对依赖远程证明的零信任架构和敏感系统安全评估具有直接指导意义。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)