| a formal description of secimos operating system |
| Zhou ZY; Liang B; Jiang L; Shi WC; He YP
|
| 2005
|
| 发表期刊 | COMPUTER NETWORK SECURITY, PROCEEDINGS
 |
| ISSN | 0302-9743
|
| 卷号 | 3685页码:286-297 |
| 收录类别 | sci
; ei
; springer
|
| 关键词 | Computer Hardware Description Languages
Computer Simulation
Computer Software
Formal Languages
Mathematical Models
Security Of Data
|
| 部门归属 | 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.
|
| 学科领域 | Computer Science, Theory & Methods
|
| 语种 | 英语
|
| WOS记录号 | WOS:000233596000022
|
| 引用统计 |
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/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.
|
修改评论