VSIM:a Provable Secure Virtual Security Isolation Model

摘要：

　　With the continuous development of the network technology and the significant raising of the hardwares performance-price ratio,it is a popular tendency that users access different kinds of network via endpoint computers for obtaining share/free resources.Meanwhile,endpoint computers act as endpoint computing platforms to provide basic serve for different security level networking.In this condition,different security level resources stored in personal endpoint computers incurs security threat which come up with new challenges to the existing security isolation mechanisms.In this paper,a new security isolation model is presented based on hardware level virtualization technology by comparing available isolation execution technologies,and is proved to satisfy the BelI-LaPadula (BLP) confidentiality model.

关键词： Virtualization Security isolation BLP model Provable Secure

作者: Jun Ma Yuanbo Guo Hongzhao Kou

作者单位: Zhengzhou Information Science and Technology Institute ZhengZhou,China,450004

会议类型: 国际会议

会议名称: 2012 2nd International Conference on Computer Application and System Modeling(2012第二届计算机应用与系统建模国际会议)(ICCASM-2012)

会议地点: 沈阳

会议语种:英文

页码: 1194-1197

在线出版日期: 2012-07-27（万方平台首次上网日期，不代表论文的发表时间）