本文首先介绍了虚拟机系统中的一些核心技术,分析了虚拟机系统在计算机安全领域的应用以及虚拟机本身会带来的新的安全挑战。接着论述了在多物理机的虚拟机联盟环境中所需要的访问控制机制,以及现有的访问控制机制的一些不足之处。然后本文在结合多物理机虚拟化环境的特点,以BLP模型与中国墙策略为基础,提出了适用于虚拟机联盟环境的BLVC模型以及用于减少隐蔽通道带宽的DCWP模型,并基于它们设计了VMCC强制访问控制机制。VMCC通过对BLVC模型与DCWP的结合,主要达成两个目标:首先是对虚拟机之间的公开通讯进行访问控制,这在VMCC中由BLVC完成,第二是对虚拟机联盟内的隐蔽通讯进行管理与约束,这是由DCWP策略来完成。本文中的VMCC访问控制机制的优点可以概括为以下几点:首先,它适用于多个物理机的虚拟化环境,而不只是局限于一台物理机器;其次它的访问控制机制更加全面,同时包括了对于公开通讯与隐蔽通讯的管理;最后VMCC机制的系统开销较小。本文基于这一强制访问控制机制,在XEN虚拟机环境上设计并实现了一个访问控制系统的原型,并做了相关试验。最后本文给出了一些对于虚拟机联盟环境中的访问控制机制的一些展望与设想。