论文部分内容阅读
以一个称为 RS- L inux的安全操作系统的研制工作为实验手段 ,对按照 CC标准的思想开发安全产品的方法进行研究 ,并以该项研究为基础 ,探讨从 CC框架蕴涵的方法学中可以通过什么方式确定安全产品的安全可信度
通过CC标准的思想确定RS-Linux的安全可信度
【摘 要】
：
以一个称为 RS- L inux的安全操作系统的研制工作为实验手段 ,对按照 CC标准的思想开发安全产品的方法进行研究 ,并以该项研究为基础 ,探讨从 CC框架蕴涵的方法学中可以通过什么方式确定安全产品的安全可信度
【机 构】
：
中国科学院软件研究所
【出 处】
：
广西科学
【发表日期】
：
2001年01期
【基金项目】
：
国家 8 6 3高科技项目!(86 3-30 6 -ZD12 -14 -2 ),,国家自然科学基金项目!(6 0 0 730 2 2 ),,中国科学院知识创新工程项目!(KGCX1-0 9
其他文献
为确定江苏省6个代表性水源地中有机氯农药(Organchlorine pesticides,OCPs)、多氯联苯(Polychlorinated phenyls,PCBs)以及多溴联苯醚(Poly brominateddiphenylethers,PBDEs
文章提出了一种提高构建凸包速度的新方法，该算法生成一个网格来管理离散点，在淘汰明显不位于凸包上的点时，将对离散点的取舍转换为对格的取舍，计算工作量只与离散点的范围及网格
发动机悬置支架受力比较复杂，需要根据整车的试验工况决定，一般受力较大，容易发生断裂问题，且悬置支架的刚度如果过低，也会导致车内的噪声过大，影响车辆的NVH性能，文章基于有限元的
“雾霾”“污染”“PM2．5”……这些令人不快的词语越来越多地占据着人们的生活。2009年底，石家庄市着眼于改善生态环境、治理大气污染、提升城市形象，确定了“创建国家森林城市
2009年9月至2010年1月,在广西北仑河口国家级自然保护区进行水鸟调查,共记录得到水鸟46种,隶属于5目9科。其中,国家Ⅱ级保护水鸟1种,世界濒危水鸟3种,39种被列入中日候鸟保护
旨在研究PurH基因在大蒲莲及其杂交组合猪肌肉中的表达差异,并与肌苷酸含量进行相关性分析,为探讨肌苷酸代谢基因PurH与重要风味物质的关系奠定理论基础。选择95.0 kg体重大
文章针对当前网络拓扑搜索算法性能低，得到的网络拓扑结构不完备的现状，在徐大海的拓扑搜索算法的基础上，提出了一个比较高效，完备的网络拓扑搜索算法。
目的观察臭氧对大鼠角膜碱烧伤后的氧化应激损伤的抑制效应。方法使用NaOH建立大鼠角膜碱烧伤模型,30只SD大鼠随机分为空白对照组、模型组、低浓度(2 mg/L)臭氧处理组,中浓度
该文提出了一种基于静态索引结构的数据仓库更新方法。它增加了一个附加文件作为更新补偿，提出了ADDF（Addition File Algorithm)算法来解决数据仓库的数据维护及OLAP查询一致性
位于东南沿海泉州市泉港区的锦川小区工程,结合当地雨水充沛、高温季节时间长的气候特点,在屋面工程施工过程中,采用了更适宜当地气候特点的倒置式屋面施工技术。屋面倒置法