SKPP与安全功能性需求实施策略  

作　　者：尹超 叶宏 周霆 折楠 

机构地区：[1]中国航空计算技术研究所,西安710119

出　　处：《计算机光盘软件与应用》2012年第20期27-28,20,共3页Computer CD Software and Application

基　　金：航空科学基金(2012ZC31006);十二五总装预研课题(课题编号:51315030101)

摘　　要：SKPP(Protection Profile for Separation Kernels,分区内核保护框架)是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKPP内涵的基础上概括的介绍了SKPP所包含的各个需求领域,并提出了能够涵盖SKPP大部分安全功能性需求的安全分区内核访问控制机制的实施策略。

关 键 词：高安全操作系统 分区内核 SKPP 安全功能性需求 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]