论文部分内容阅读
结合安全操作系统的一个研究实验,对CC标准框架下的安全产品开发过程进行了概括和抽象,借助主观逻辑,针对在CC标准框架下建立的安全产品的安全确信度,提出安全确信度的-种定量描述方法.
CC标准框架下安全确信度的定量描述方法
【摘 要】
：
结合安全操作系统的一个研究实验,对CC标准框架下的安全产品开发过程进行了概括和抽象,借助主观逻辑,针对在CC标准框架下建立的安全产品的安全确信度,提出安全确信度的-种定
【机 构】
：
中国科学院软件研究所
【出 处】
：
广西科学
【发表日期】
：
2002年1期
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)，中国科学院知识创新工程项目
其他文献
讨论群的最高阶元素个数为68p的有限群,得到:如果G是最高阶元素个数为|M(G)|=68p的有限群,其中素数p>7,则 G是可解群.
采用新的思想方法，应用CI-截的概念，得到群G正规子群H为可解、P-可解及π一可解的若干判定定理，并推广了文献[2]的相关结果．
新形势做好离退休干部工作是我国社会工作的重要组成部分。本文首先明确了开展离退休干部工作的作用和地位，并在此基础上提出了发挥离退休干部作用的主题和不同策略。
思想政治课教学是一个有序的整体，也是一门学问，更是一门艺术。一堂布局合理、结构完美的课堂教学，就像是一场音乐会，不仅要有引人入胜的“序曲”，扣人心弦的“主旋律”，而且要有韵
分别将无约束优化的线搜索和离散步Hooke-Jeeves算法推广到带广义界的简单约束优化,产生2个新算法,得到可行区间的计算公式.在适当条件下,证明线搜索的Hooke-Jeeves算法推广
2013年初，查理在温哥华市中心开了一家五星级酒店。开业后，客人络绎不绝，入住率常在八成以上。平时，查理很少待在办公室。市郊的高尔夫球场上，经常会出现他的身影。 2013年9月，他又度过了一个悠闲惬意的假期。返程前一天，一位朋友问他，酒店事务千头万绪，怎么还有这么多闲心打球？他笑着说，自己是个“懒人”，凡是能吩咐手下人干的事，他绝不亲躬。很感谢这些员工，把酒店打理得井井有条。他的话，引来周围
介绍一维元胞自动机的一类特殊位形GOE的概念,找出满足3重局部变换规则-232规则的一维有限元胞自动机在固定边界条件下的所有GOE,并得到周期边界条件下一个位形是GOE的充分必