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

• 作者: 尹超
• 来源期刊: 航空计算技术
• 关键词: 信息安全 分离内核 SKPP 信息安全审计功能
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 计算机软件
• 页码范围: 98-100
• 页数: 3页
• 分类号: TP309|TP316
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2018.05.025

摘要

满足分离内核保护框架(Protection Profile for Separation Kernels,SKPP)的分离内核不仅给安全关键的嵌入式系统的系统服务和应用的创建提供了高健壮性保障,还给信息安全相关策略的执行提供高可靠性支持.满足SKPP标准的分离内核的安全审计系统是构成高可靠性分离内核的不可或缺的一部分,它对系统中任意或所有信息安全相关事件进行记录、分析和再现,通过提供事后追查的手段来保证系统的信息安全.设计出一种满足SKPP的安全审计方法,用于解决分离内核在保证系统安全的过程中需要对信息安全相关活动进行审计记录并查询的问题,并从审计功能模块的构成、可审计事件的选择、审计信息的构成、审计功能的执行过程这几个方面进行了介绍.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尹超		4	0	0.0	0.0