-
题名基于动态完整性度量的机密计算运行时监控方案
- 1
-
-
作者
李为
冯伟
秦宇
冯登国
-
机构
中国科学院大学
计算机科学国家重点实验室(中国科学院软件研究所)
中国科学院软件研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2024年第10期2482-2500,共19页
-
基金
国家重点研发计划项目(2022YFB4501500,2022YFB4501501)
小米揭榜挂帅青年学者科研专项(2024)。
-
文摘
机密计算(confidential computing,CC)技术基于硬件可信执行环境(TEE),通过隔离、完整性度量和远程证明等技术保护使用中数据的机密性和完整性,并免受特权敌手的攻击.然而,现有机密计算平台的完整性度量和远程证明机制主要针对启动时,而缺少运行时完整性保护,例如当用户工作负载潜在的内存漏洞被敌手利用时容易遭受控制流劫持等攻击,目前仅包含启动时完整性保护的机密计算平台无法有效防止或者检测此类运行时攻击.针对该问题,提出了一种基于动态完整性度量的机密计算运行时监控方案,通过向TEE中引入控制流和数据流度量,并扩展可信验证方功能以进行运行时远程证明,实现了机密计算平台内用户工作负载的运行时完整性保护.使用CSV/SEV服务器作为机密计算平台,在其机密虚拟机/容器基础上进行了系统原型实现与实验评估,评估结果表明,方案在增强运行时安全性的同时,引入了约16%的性能损耗.
-
关键词
机密计算
可信执行环境
运行时证明
控制流完整性
数据流完整性
-
Keywords
confidential computing
TEE
runtime attestation
control flow integrity
data flow integrity
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-