计算机研究与发展

作者：李为,冯伟,秦宇,冯登国,

关键词：机密计算, 可信执行环境, 运行时证明, 控制流完整性, 数据流完整性,

机密计算（confidentialcomputing，CC）技术基于硬件可信执行环境（TEE），通过隔离、完整性度量和远程证明等技术保护使用中数据的机密性和完整性，并免受特权敌手的攻击.然而，现有机密计算平台的完整性度量和远程证明机制主要针对启动时，而缺少运行时完整性保护，例如当用户工作负载潜在的内存漏洞被敌手利用时容易遭受控制流劫持等攻击，目前仅包含启动时完整性保护的机密计算平台无法有效防止或者检测此类运行时攻击.针对该问题，提出了一种基于动态完整性度量的机密计算运行时监控方案，通过向TEE中引入控制流和数据流度量，并扩展可信验证方功能以进行运行时远程证明，实现了机密计算平台内用户工作负载的运行时完整性保护.使用CSV/SEV服务器作为机密计算平台，在其机密虚拟机/容器基础上进行了系统原型实现与实验评估，评估结果表明，方案在增强运行时安全性的同时，引入了约16%的性能损耗.

来源：2024年第10期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2024年第10期