可信平台的树形验证数据

与计算平台建立信任关系依赖于验证过程。验证允许外部实体基于提供的平台配置证据，建立对平台预期行为的信任。在远程证明等过程中，“可信”平台提交在启动过程中创建的验证数据。这些数据由受硬件保护的平台配置寄存器值组成，其中包含已加载或已启动组件的嵌套测量值（例如哈希值）。通常，寄存器值由硬件安全操作按线性顺序创建。基于验证数据的线性顺序和相关测量日志对组件进行细粒度诊断并非最优。我们提出一种使用树形验证数据来验证平台的方法。组件测量值代表叶子节点，受保护的寄存器代表哈希树的根节点。我们描述了使用树形测量日志和根寄存器验证平台的基本机制，并展示了故障搜索的对数级加速。使用有限数量的受硬件保护的寄存器和单个受保护操作即可安全地创建树。通过这种方式，树形验证数据的安全性得以维持。