@inproceedings{cdd12609476645058c26abd7432c7f93,
title = "A BLP-based access control mechanism for the virtual machine system",
abstract = "The virtual machine system such as Xen provides a security isolation between virtual machines (VM) running on the virtual machine monitor (VMM). With the wide application of the virtualization technology, VMM is expected to not only provide the simple isolation but also provide limited sharing between VMs in a secure manner. In this paper, we present an access control mechanism for the virtual machine system, which is based on the BLP model. We prove that the virtual machine system with the access control mechanism and an initial secure state is a secure system. In addition, we implement a prototype of the access control mechanism for the virtual machine system based on Xen.",
keywords = "Access control, System security, Virtual machine, Virtual machine monitor",
author = "Chuliang Weng and Yuan Luo and Minglu Li and Xinda Lu",
year = "2008",
doi = "10.1109/ICYCS.2008.503",
language = "英语",
isbn = "9780769533988",
series = "Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008",
pages = "2278--2282",
booktitle = "Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008",
note = "9th International Conference for Young Computer Scientists, ICYCS 2008 ; Conference date: 18-11-2008 Through 21-11-2008",
}