议题介绍
议题名称：基于虚拟机架构的可信计算环境与可信软件设计
- 演讲内容围绕虚拟机为基础构件的虚拟化可信计算平台设计，目标是满足全球分布式重并发Internet服务和应用对计算的可靠性（Dependability）和可信性（Trustworthiness）的苛刻要求，同时保证平台按序、动态的高可扩展性、配置和部署的灵活性、应用的透明性和广泛性。由于以虚拟机为基础的虚拟化技术的引入，可信计算平台的设计面临巨大的挑战——人们能够以更低的粒度重新组织、管理、优化计算资源，而不是以传统HPC计算中的节点为粒度。一个可信的虚拟计算平台就必须建立从服务/应用到VMM（Virtual Machine Monitor）的可信隔离，从而提供一个穿越多层空间的信任链流。本项目的研究主要集中在虚拟可信能力计算空间的研究，我们提出多维流式可信计算空间模型，其上各空
间的可信性可通过信任链流来实现，迎合了多核等新技术的出现和Internet服务计算的需求。
