中文摘要：

本项目以Amazon EC2为代表的IaaS云计算平台为对象，重点研究其上的虚拟机保护原理。首次提出并实现了在云平台最底层加入可信微型监控器CloudVisor，在国际上首次解决了用户对云平台内部人员和系统本身的信任问题，并且显著地降低了云计算平台的可信基，从而解决了云计算推广的首要障碍（即用户数据的隐私和安全问题）。相关论文发表在系统领域最富盛名的会议SOSP上，这是亚洲学术届第一次在该会议上独立发表的论文。当前体系结构研究中一个重要的方向就是:如何增加新的硬件特征以支持虚拟机的可信性，Cloudvisor给这类研究提供了参考平台。在程序验证领域，研究人员非常希望对VMM进行验证，Cloudvisor为这类研究提供了研究平台。本项目还分析了程序不可靠的原因、防范虚拟机上安全攻击的方法、利用虚拟机提高容错能力等。本项目共发表8篇论文，其中3篇为顶级会议论文（SOSP、Micro、Usenix ATC）。一人获得全国优秀博士学位论文、一人获得中国计算机学会优秀博士论文。