【摘 要】
：
随着计算机软件的广泛使用,软件安全成为普遍关注的问题。在分析安全相关标准的基础上,建议采用基于产品和基于过程相结合的方法开发操作系统。选取面向安全领域的综合化系统
【基金项目】
：
国家自然科学基金项目资助(61732001)
论文部分内容阅读
随着计算机软件的广泛使用,软件安全成为普遍关注的问题。在分析安全相关标准的基础上,建议采用基于产品和基于过程相结合的方法开发操作系统。选取面向安全领域的综合化系统,建立分区操作系统功能到通用计算平台安全功能需求的映射关系,开展失效和危害分析,导出安全需求及缓解措施,借鉴模块化开发的思想,建立操作系统的安全合约,随使用的具体系统,从需求、架构、行为、性能等四个层次,分析其安全合约中的失效是否可接受,从而完成系统安全评估。采用方法的OS安全合约可支持多个项目不同应用的重用。
其他文献
今天的作文活动课，田老师要组织我们进行一场吹泡泡比赛，看谁吹出的泡泡最大、最美、飞得最高。
终端区处于进港航线交汇处,易导致交通堵塞,作为空中交通管制(ATC)自动化的最新应用之一,进港管理(AMAN)是一种重要的管制员的决策支持工具。在分析国内外使用AMAN系统现状的
信息时代背景下,信息技术开始广泛推广到素质教育工作当中。小学语文课堂也不例外,在小学语文课堂中灵 活运用信息技术,有利于教师调动起学生学习语文的积极性,提高小学生课
在“大自然的启示”综合性学习中，我们对大自然给人类的启示有了更多的了解，这次习作，我们既可以写在综合性学习中的发现，又可以写活动经过或心得。
风险分析是针对可能发生的危害(险)事项或事故的特征进行分析和评估,并采取相应的风险管理措施,以控制、避免或降低风险的一种有效方法.
雏鸡是指从出壳到6周龄内的小鸡，这个阶段雏鸡体小娇嫩、体温调节能力尚未健全、消化机能弱、抗逆性差，如果饲养管理不当，极易引起死亡，给养殖户造成经济损失。为使雏鸡健康生长，
初中写作教学以记叙类文本为主,而“内容丰富”是评价记叙文的重要标准。但笔者执教多年,发现无话可说 是初中生写作的普遍问题。故本文将从叙事的张力和故事的细节两个方面,
7月22日,上海市人民政府区县节能目标责任考核小组对嘉定区2015年节能措施落实及目标完成情况进行现场考核。考核组充分肯定嘉定区2015年在淘汰落后产能、推进重点节能工程、
简要介绍了工业企业分布式供能的类别，较详细的介绍了分布式供能自主型、介入型和结合型3种类别的发展模式特点和途径。
识字是低年级孩子从口头语言向书面语言过度人重要形式之一，因此教师向孩子传授识字的质量关系到他们听、说、读、写能力的发展，而且为他们的以后日常生活与学习奠定了基础。为