基于硬件虚拟化的单向隔离执行模型

• 作者: 曾庆凯 李小庆 赵晓东
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 隔离执行 硬件虚拟化 安全敏感模块 可信计算基
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 操作系统
• 页码范围: 2207-2222
• 分类号: TP316
• 字数: 13118字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2012.04131

摘要

提出了一种基于硬件虚拟化技术的单向隔离执行模型.在该模型中,安全相关的应用程序可以根据自身需求分离成宿主进程(host process)和安全敏感模块(security sensitive module,简称SSM)两部分.隔离执行器(SSMVisor)作为模型的核心部件,为SSM提供了一个单向隔离的执行环境.既保证了安全性,又允许SSM以函数调用的方式与外部进行交互.安全应用程序的可信计算基(trusted computing base,简称TCB)仅由安全敏感模块和隔离执行器构成,不再包括应用程序中的安全无关模块和操作系统,有效地削减了TCB的规模.原型系统既保持了与原有操作系统环境的兼容性,又保证了实现的轻量级.实验结果表明,系统性能开销轻微,约为6.5％.