基于本地虚拟化技术的隔离执行模型研究

作者：温研; 王怀民

来源：计算机学报, 2008, (10): 1768-1779.

• 入侵隔离
• 隔离执行
• 虚拟执行环境
• 安全
• 虚拟机 intrusion isolation
• isolated execution
• virtual execution environment
• security
• virtual machine

程序隔离执行是一种将被隔离代码的执行效果与其它应用隔离的安全机制.但是目前的相关研究无法在PC平台下兼顾操作系统隔离与被隔离代码的可用性.针对这个问题,文中提出并实现了一种新的名为SVEE(Safe Virtual Execution Environment)的隔离执行模型.SVEE具有两个关键特性:一是借助基于本地虚拟化技术的系统级虚拟机(SVEEVM)有效实现了非可信代码与宿主操作系统的隔离;二是利用本地虚拟化技术实现了宿主机计算环境在SVEEVM内的重现,保证了被隔离程序在SVEEVM中与在宿主操作系统内的执行效果的一致性.因此,SVEE在保护了宿主操作系统安全的同时,兼顾了隔离执行代码...

• 单位
  中国人民解放军国防科学技术大学