Institutional Repository
| specifying and building a formal secure virtual monitor machine prototype | |
| Liang Hongliang; Ye Qiuping; Tian Shuo | |
| 2010 | |
| Conference Name | 2010 3rd IEEE International Conference on Broadband Network and Multimedia Technology, IC-BNMT2010 |
| Source | Proceedings - 2010 3rd IEEE International Conference on Broadband Network and Multimedia Technology, IC-BNMT2010 |
| Pages | 916-920 |
| Conference Date | 40842 |
| Conference Place | Beijing, China |
| Indexed Type | EI |
| Publish Place | United States |
| ISBN | 9781420000000 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Broadband Networks Computer Operating Systems Specifications |
| Sponsorship | Beijing University of Posts and Telecommunications (BUPT); IEEE Beijing Section; International Business Machines; Loughborough University; Natural Science Foundation of China |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8916 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 05705224.pdf（609KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment