支持可信计算的虚拟平台研究

基于虚拟机技术实现可信计算平台，具有可编程、可扩展、可调试等优点。在虚拟机中借助二进制翻译引擎和虚拟I/O模块，可以捕捉每条指令的执行和I/O操作的每个操作步骤，所以理论上它可以实现最微观的安全机制。可信计算包含自身容错和对外防御等两方面。本课题的主要研究目标是基于自主开发的CrossBit虚拟平台原型，实现支持TPM可信认证结构和基于访问控制的入侵检测机制，使之成为一个兼备对内实现隔离、对外开放的可信计算平台。课题研究目标包括在虚拟机（VM）及其管理模块（VMM）中插入指令和资源访问采样点、访问控制、策略进程、TPM访问接口等组件，实现监控者和被监控之间执行环境的隔离，并通过认证机制保证同一执行环境内各层次之间的可信操作。此外，本课题还拟解决可信原语抽象、系统兼容、虚拟性能等研究课题。本课题的研究成果有可能会为新一代的、网络环境下先进计算模式，提供新的理论和方法。