【摘 要】
:
高等级安全操作系统测评方法研究是较新的研究课题,尚没有系统而完整的研究文献。随着我国高等级安全操作系统研究与实践的不断发展,制定全面有效的测评框架,对操作系统设计和实
论文部分内容阅读
高等级安全操作系统测评方法研究是较新的研究课题,尚没有系统而完整的研究文献。随着我国高等级安全操作系统研究与实践的不断发展,制定全面有效的测评框架,对操作系统设计和实现等进行测评成为推动安全操作系统研究发展的迫切要求。 “安全操作系统测评研究”课题是“B2级安全操作系统研发”课题的后续课题,其目标是建立一套适用于高安全等级操作系统的测评框架和方法,重点是测试范围分析、基本功能测试、抗渗透测试以及隐通道分析的测试研究,并在此理论基础上逐步实现完整有效的导航测评工具和自动化测评工具。 本文在研读大量国内外文献,对现有测评工具研究基础上,初步提出了一个基于TCSEC(GB17859)标准的、可以具体实施的安全操作系统测评框架;并将安全操作系统划分为系统设计(安全策略模型、基本安全功能、保证映射、渗透测试、隐通道分析)和实现(系统代码实现和实现流程)两方面进行测评,详细论述了测评依据、测评原则和测评实施方法,提出了一些行之有效的测评思路和方法。 目前,测评工具分为导航测评工具和自动化测评工具。而在安全操作系统测评领域,手工测评仍然是最主要的测评方式。在测评方法理论指导下系统地开发各类测评工具,丰富测评手段。在本课题的研究中,我们开发了众多研究工具。在基本功能测试中引入导航测评方法,该工具基于客户/服务器模式和数据库来实现,可以有效地加快信息收集、整理以及文档化。研发自动化测评工具是测评工具设计和实现的主要方向,文章以口令强度自动化测评工具为例做了说明,该工具依据字典攻击原理来实现。 本文在安全操作系统开发实践基础上,根据我国该领域发展现状,提出的安全操作系统测评框架、测评思路和测评方法丰富了安全操作系统测评领域的研究,但仍有艰巨的研究工作要做。
其他文献
高校部分大学生只专注于学习成绩,而缺乏良好的社会适应能力和优良的身体素质,所以不仅要提高学生的学习成绩,而且要提高学生的身体素质,通过体育来缓解学习中的压力和适应社
甘草提取物是一种安全、高效的天然抗氧化剂,可用于抑制肉类中脂肪等成分的氧化,维持肉类品质,延长肉品的贮藏期。兔肉是一种高蛋白、高不饱和脂肪酸的肉类,具有益智、美容等
目的探讨嗜酸性肉芽肿性多血管炎(EosinophilicGranulomatosis with Polyangiities,EGPA)并发血栓事件患者临床特征,提高对本病的认识,实现早发现、早诊断、早治疗,以改善预后。方法报道2018年12月于山西医科大学第一医院风湿免疫科收治的1例EGPA合并血栓事件的患者。同时以“EGPA”、“Churg-Strauss综合征(CSS)”、“变应性肉芽肿性血管
本文研究了仔猪氨基酸模式中真可消化苏、色氨酸比例及蛋白水平变化对仔猪生产性能及日粮有效能的影响。采用单向分类试验设计,按蛋白水平(CP)、真可消化苏氨酸与色氨酸比例(T
当今时代,科学技术的重要性越来越得到肯定。世界各国纷纷将科学技术进步作为经济发展的核心源泉。回顾广东省在改革开放以来的发展历程,不可否认,科学技术是第一生产力的论断得
针对目前我国汽车广告存在着定位的模糊与错位、语言的夸大与模仿、创意的媚俗与乏味等问题,提出了在汽车广告的恰当定位、语言的规范、创意水平的提升方面的相应策略,旨在对
众所周知,机车运行状况直接关系到铁路运行的安全,而机车运行状况的监测与机车维修是机车保持良好状态的有力保障。现在国内常用的机车检修机制为“定期检修”,这样不但检修成本
兔肉的营养价值较高,具有“四高四低”的典型营养特性,同时还含有丰富的矿物质、维生素、卵磷脂和多不饱和脂肪酸,是人们补充营养的理想肉食品,也是高血压、高血脂、心脑血管
对最常见的基本几何形状——球形颗粒的超急速非Fourier导热给出了一套代数显式(不含特殊函数)解析解(包括了温度场分布及径向热流分布)。此外,根据所得到的解析解,初步给出
近年来,在中资企业与美国的经济交流升级的同时,考虑到贸易摩擦和“走出去”进程深入的多种因素,中资企业势必将越来越多地面临美国集团诉讼。一方面,美国集团诉讼机制有值得