一种满足SKPP标准的分离内核审计方法的设计与实现

来源 :航空计算技术 | 被引量 : 0次 | 上传用户:fcgmqty
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
满足分离内核保护框架(Protection Profile for Separation Kernels,SKPP)的分离内核不仅给安全关键的嵌入式系统的系统服务和应用的创建提供了高健壮性保障,还给信息安全相关策略的执行提供高可靠性支持。满足SKPP标准的分离内核的安全审计系统是构成高可靠性分离内核的不可或缺的一部分,它对系统中任意或所有信息安全相关事件进行记录、分析和再现,通过提供事后追查的手段来保证系统的信息安全。设计出一种满足SKPP的安全审计方法,用于解决分离内核在保证系统安全的过程中需要对信息安
其他文献
问题解决是《义务教育数学课程标准(2011年版)》的总目标之一。教学活动过程就是学生在教师指导下解决一个个问题的过程,有针对性地以问题为导向的师生双边活动,可以有机地将
内部控制产生和发展的主要目标,是通过提高内部控制质量,提高财务信息含量,因此会影响盈余质量。本文选取了2009年只披露了内部控制自我评价报告但没有进行内控鉴证的206家A股上
以广西工业职业技术学院学生工作为例,用精细化管理的科学管理理念和管理方法,探讨围绕学生成人成才的精细化管理,细分工作过程、找出学生工作关键环节,重视关键要素,再造工作流程
张家港市处于长江下游,与长江有近80km 的岸线相拥。张家港市长江防洪工程管理处作为长江河道专业管理机构,承担全市105.5km 的江港堤防(其中,主江堤71.8km,双山洲堤16.8km)
文章以CNKI收录的篇名中含有“人工智能”的期刊论文作为数据来源,利用可视化文献分析软件Citespace5.2绘制国内人工智能研究知识图谱。对国内人工智能研究年度发文量、机构
本文通过对投资与合同管理在工程项目管理中重要性的阐述,指出投资控制与合同管理系统软件开发的必要性和要达到的目标,及其在实践中显示出来的优越性。
利用wgrib/wgrib2命令行工具对GRIB1和GRIB2格式数据进行批量读取,存入已建立的GRIB通用数据模型进行统一化处理,并提供通用的数据处理模块和输出接口以提高数据的二次开发效
随着我国在水利工程中的“三制”改革不断深入,项目法人在项目建设中的地位逐步被广泛认同,本文就水利工程项目建设管理做了浅探。
结合文献调查法,对广西高校学报高被引文献进行统计分析,结果显示:高被引文献在作者结构上呈均衡分布;外地作者比例高于本地作者比例,这与影响因子较高的学报外地作者的比例较高相
殷芸《小说》是南朝梁殷芸所撰的志人轶事小说集,也是第一部以“小说”体裁的名称作为作品专名的小说集。由于此书在明代已经散佚,故历来对此部小说的研究还未成系统,尤其对它的