基于分区内核的安全嵌入式系统

摘要：

基于单一安全内核构建的嵌入式安全体系实时性差、复杂度高,难以对其进行全面的安全性评估,无法杜绝系统漏洞的出现.针对基于分区内核的安全嵌入式体系进行研究,提出一种分区内核的形式化定义,根据该形式化定义对分区内核的隔离安全性进行证明.为解决分区内核中分区间通信存在的信息流控制问题,提出一种兼顾通信效率和安全性的模型.

关键词：分区内核、安全嵌入式系统、信息流控制

所属期刊栏目：35

分类号：TP309(计算技术、计算机技术)

资助基金：海军工程大学校基金资助项目HGDJJ07020

在线出版日期：2010-03-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：158-160