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

基于单一安全内核构建的嵌入式安全体系实时性差、复杂度高，难以对其进行全面的安全性评估，无法杜绝系统漏洞的出现。针对基于分区内......

传统架构的机载操作系统采用的“亡羊补牢”方法，已不能满足日益复杂的航空电子系统对机载软件安全性的要求。基于巨内核的系统，由于......