论文部分内容阅读
满足分离内核保护框架（Protection Profile for Separation Kernels，SKPP）的分离内核不仅给安全关键的嵌入式系统的系统服务和应用的创建提供了高健壮性保障，还给信息安全相关策略的执行提供高可靠性支持。满足SKPP标准的分离内核的安全审计系统是构成高可靠性分离内核的不可或缺的一部分，它对系统中任意或所有信息安全相关事件进行记录、分析和再现，通过提供事后追查的手段来保证系统的信息安全。设计出一种满足SKPP的安全审计方法，用于解决分离内核在保证系统安全的过程中需要对信息安