|
|||||
|
|
| CC标准框架下安全确信度的定量描述方法 | |
| 引用本文： | 石文昌,孙玉芳.CC标准框架下安全确信度的定量描述方法[J].广西科学,2002,9(1):1-5. |
| 作者姓名： | 石文昌 孙玉芳 |
| 作者单位： | 中国科学院软件研究所 北京中关村南四街4号 10080 |
| 基金项目： | 国家自然科学基金项目 ( 6 0 0 730 2 2 )，国家 86 3高技术研究发展项 目 ( 86 3-30 6 -ZD12 -14 -2 )，中国科学院知识创新工程项目 ( KGCX1- 0 9) |
| 摘 要： | 结合安全操作系统的一个研究实验，对CC标准框架下的安全产品开发过程进行了概括和抽象，借助主观逻辑，针对在CC标准框架下建立的安全产品的安全确信度，提出安全确信度的一种定量描述方法。 |
| 关 键 词： | CC标准 安全确信度 定量描述 安全产品 计算机产品 安全操作系统 |
| 收稿时间： | 2001/10/8 0:00:00 |
| 修稿时间： | 2001年10月8日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《广西科学》浏览原始摘要信息 | |
| 点击此处可从《广西科学》下载免费的PDF全文 | |