Institutional Repository
| a formal description of secimos operating system | |
| Zhou ZY; Liang B; Jiang L; Shi WC; He YP | |
| 2005 | |
| Source | COMPUTER NETWORK SECURITY, PROCEEDINGS
 |
| ISSN | 0302-9743 |
| Volume | 3685Pages:286-297 |
| Indexed Type | sci ; ei ; springer |
| Keyword | Computer Hardware Description Languages Computer Simulation Computer Software Formal Languages Mathematical Models Security Of Data |
| Department | Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. Chinese Acad Sci, Grad Sch, Beijing 100049, Peoples R China. Hunan Univ, Coll Comp & Commun, Changsha 410082, Peoples R China. Tsinghua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China. Beijing Venus Info Tech Inc, Beijing 100081, Peoples R China. |
| Subject | Computer Science, Theory & Methods |
| Language | 英语 |
| WOS ID | WOS:000233596000022 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12540 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| a formal description（484KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment