使用 SGX 飞地灵活远程证明 pre-SNP SEV 虚拟机
密码学与安全
2023-05-17 v1
摘要
我们提出一种协议，探索两种 TEE 实现之间的协同：将类 SGX 远程证明引入 SEV 虚拟机。我们使用“可信客户机所有者”概念，实现为 SGX 飞地，来部署、证明和配置 SEV 虚拟机。该机器进而可依赖此可信所有者代其生成类 SGX 的证明。我们的协议结合了 SEV 的应用可移植性与 SGX 的灵活远程证明。我们形式化了协议并使用 Tamarin prover 证明其达成预期保证。此外，我们开发了可信客户机所有者及示例 SEV 机器的实现，并将其组合以演示协议如何实际应用；我们利用该实现在创建“可问责机器学习模型”的背景下评估协议。我们还讨论了如何扩展协议以为异构可信组件基础设施提供简单远程证明机制。
引用
@article{arxiv.2305.09351,
title = {Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves},
author = {Pedro Antonino and Ante Derek and Wojciech Aleksander Wołoszyn},
journal= {arXiv preprint arXiv:2305.09351},
year = {2023}
}