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