中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-2 of 2)

Items/Page:    Sort:
使用CC标准开发的高保证安全信息系统 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 2, 页码: 17
袁春阳; 贺也平; 潘学俭; 梁洪亮
  |  
 
一种面向标准评估的高保证安全操作系统开发方法 [会议论文]
中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会, 青岛, 2006
袁春阳; 贺也平; 石文昌; 梁洪亮; 商青华
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace