a formal description of secimos operating system
文献类型：期刊论文
| 作者 | Zhou ZY ; Liang B ; Jiang L ; Shi WC ; He YP |
| 刊名 | COMPUTER NETWORK SECURITY, PROCEEDINGS
 |
| 出版日期 | 2005 |
| 卷号 | 3685页码:286-297 |
| 关键词 | Computer hardware description languages Computer simulation Computer software Formal languages Mathematical models Security of data |
| ISSN号 | 0302-9743 |
| 学科主题 | Computer Science, Theory & Methods |
| 收录类别 | SCI ; EI ; SPRINGER |
| 语种 | 英语 |
| WOS记录号 | WOS:000233596000022 |
| 公开日期 | 2011-07-28 |
| 附注 | The application of formal methods in secure operating system experiences a procedure of development and maturity with the eminence and development of secure operating system itself. According to Common Criteria and United States Department of Defenses Trusted Computer System Evaluation Criteria (TCSEC), high security level secure operating system should introduce formal methods in the process development and evaluation. Security in Mind Operating System (SEC-IMOS) is a customizable secure operating system developed by Institute of Software, Chinese Academy of Science. In this work, we formally model the security policies using Z specification language and informally proved the correspondence between policies and top level functionalities. As a result, we summarize the gist to choose a formal description language for modeling a secure operating system and possibility of use Isabelle/HOL as a formal tool. |
| 源URL | [http://124.16.136.157/handle/311060/12540]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Zhou ZY,Liang B,Jiang L,et al. a formal description of secimos operating system[J]. COMPUTER NETWORK SECURITY, PROCEEDINGS,2005,3685:286-297. |
| APA | Zhou ZY,Liang B,Jiang L,Shi WC,&He YP.(2005).a formal description of secimos operating system.COMPUTER NETWORK SECURITY, PROCEEDINGS,3685,286-297. |
| MLA | Zhou ZY,et al."a formal description of secimos operating system".COMPUTER NETWORK SECURITY, PROCEEDINGS 3685(2005):286-297. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。