specifying and building a formal secure virtual monitor machine prototype

	specifying and building a formal secure virtual monitor machine prototype
	Liang Hongliang; Ye Qiuping; Tian Shuo
	2010
会议名称	2010 3rd IEEE International Conference on Broadband Network and Multimedia Technology, IC-BNMT2010
会议录名称	Proceedings - 2010 3rd IEEE International Conference on Broadband Network and Multimedia Technology, IC-BNMT2010
页码	916-920
会议日期	40842
会议地点	Beijing, China
收录类别	EI
出版地	United States
ISBN	9781420000000
部门归属	(1) Beijing University of Posts and Telecommunications, Beijing, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; (3) Graduate University, Chinese Academy of Sciences, Beijing, China
摘要	To defend against growing security threats and attacks faced today, formal specification and verification of secure operating systems are important and almost a must for high assurance level certification. In this paper, we report the work of specifying and building a VMM-based security prototype SecBase, a system towards "verified design" level of security standards in China. SecBase's specification is formally defined, which can be used to guide high-performance C programs implementation, and support formal analysis and verification. Our experiments show that SecBase can quickly be developed and can provide well security separation, for the benefit of its formal specifications. © 2010 IEEE.
关键词	Broadband Networks Computer Operating Systems Specifications
主办者	Beijing University of Posts and Telecommunications (BUPT); IEEE Beijing Section; International Business Machines; Loughborough University; Natural Science Foundation of China
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/8916
专题	基础软件国家工程研究中心
推荐引用方式 GB/T 7714	Liang Hongliang,Ye Qiuping,Tian Shuo. specifying and building a formal secure virtual monitor machine prototype[C]. United States,2010:916-920.

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