文件名称：timing-attestation:自动从code.google.comptiming-attestation导出
文件大小：260.67MB
文件格式：ZIP
更新时间：2024-06-13 16:27:08
C++
定时证明 自动从code.google.com/p/timing-attestation导出 该站点将存储Checkmate（基于时间的证明系统）的概念验证实施。 我们将其称为基于时序的证明，而不是基于软件的证明，因为我们是使用基于硬件的时序和基于软件的时序的系统的第一个实际实现。 该存储库还仅为派生的实现“ BIOS Chronomancy”托管自我检查代码。 请注意，由于此系统已与真实的商用Dell E6400 BIOS集成在一起，因此我们无法发布完整的工作系统，并且提供的代码仅用于显示用于论文结果的自检算法。 安装视频可在InstallationConfigurationVideos页面上找到。 如果您想阅读发表在IEEE S＆P 2013上的描述Checkmate的论文，请访问： : 如果您想阅读在ACM CCS 2014中发布的描述BIOS冗余的论文，请访问： :/