满足分离内核保护框架（Protection Profile for Separation Kernels，SKPP）的分离内核不仅给安全关键的嵌入式系统的系统服务和应用的......

SKPP（Protection Profile for Separation Kernels，分区内核保护框架）是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKP......