高可信计算机系统设计

结合可信技术和虚拟化技术，提出了一种高可信计算机系统安全解决方案。利用可信技术实现对系统硬件的 认证，提供系统的完整性证明；利用虚拟化技术实现物理硬件资源与软件系统的安全隔离；通过动态信任链传递机制， 保证虚拟执行环境的安全可信，从而创建受保护的执行环境；虚拟环境内不同操作系统、应用程序间完全隔离，有效抵