verifying the safety of xen security modules

	verifying the safety of xen security modules
	Han Wei; He Yeping; Ding Liping
	2011
会议名称	2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011
会议录名称	2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011
页码	30-34
会议日期	27-Jun-02
会议地点	Jeju Island, Korea, Republic of
收录类别	EI
出版地	United States
ISBN	9780769544540
部门归属	(1) National Engineering Research Center for Fundamental Software, Institute of Software, China; (2) Graduate School, Chinese Academy of Science, Beijing, China; (3) School of Information Science and Technology, Shijiazhuang Tiedao University, Hebei, China
摘要	In virtualization environment, the communication and resource sharing between virtual machines can be protected by mandatory access control mechanism to guarantee the isolation of the virtual machines. The safety of the mandatory access control framework depends on whether the security sensitive operations are protected by the security check functions completely. In this paper, we present a novel method to verify the safety of the Xen security modules framework. We implement our method on the Xen 4.01 source code and evaluate the results. While our work in this paper focuses on the verification of Xen security modules, which can be used to analyze other mandatory access control framework analogous with it as well. © 2011 IEEE.
关键词	c (Programming Language) Computer Simulation Reliability Analysis Software Reliability Static Analysis
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/14205
专题	基础软件国家工程研究中心
推荐引用方式 GB/T 7714	Han Wei,He Yeping,Ding Liping. verifying the safety of xen security modules[C]. United States,2011:30-34.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
verifying the safety（311KB）			开放获取	--	请求全文