嵌入式操作系统的内核安全研究与设计

为了保证电力系统中嵌入式操作系统的内核安全性,根据安全内核的设计原则和内核调用的访问控制,提出了安全内核的设计方案。该方案考虑到应用安全访问控制对稳定性以及实时性的影响,结合电力系统的需求引入了决策缓冲机制。将安全内核设计划分为访问监视器、策略缓存、仲裁服务器,以及安全审计系统,构建了内核的安全访问控制,实现了内核安全的隔离性,确保系统内核的可信访问。该嵌入式操作系统安全内核的设计具有通用性、可移植性。

一个安全嵌入式操作系统内核设计与实现

针对电力领域中的嵌入式操作系统安全问题,在分析uC/OS-Ⅱ源码的基础上,修改和精简BLP模型,对系统内核的API(应用程序接口)访问控制进行了设计与实现,以达到内核的安全访问。具体包括访问监视器,仲裁服务器以及策略缓存的设计,最后对系统进行部分安全测试和性能测试。实验结果表明设计能有效地控制不同等级主体对内核资源的访问。