分层证明中的证据篡改与监管链

在分布式系统中，信任决策是基于通过远程证明生成的完整性证据做出的。可能收集的证据示例包括启动时镜像哈希值；用户空间应用程序初始化文件的指纹；以及对运行中内核的全面测量。在分层证明中，证据通常由从目标系统内不同信任边界获取的关键子组件的测量组成。离散测量证据被捆绑在一起，供共同执行证明的组件进行评估。在本文中，我们开启了对远程证明证据监管链的研究。使用 Copland 证明规范语言，我们正式定义了在目标系统上活跃的运行时对手可以篡改测量证据的条件。我们提出了算法，用于识别给定证据的所有此类篡改机会，以及对手可以在不被发现的情况下修改有罪证据的篡改“策略”。然后，我们定义了一个过程，将 Copland 指定的证明转换为自身最大程度防篡改的版本。我们的努力旨在帮助证明协议设计者确保其协议将证据篡改机会减少到尽可能小、最可信的组件集合。