论文部分内容阅读
针对嵌入式领域安全关键系统的信息安全问题，提出了基于安全域隔离的访问控制模型，采用分区间信息流隔离控制机制，结合分区间消息路由和消息权限鉴别机制，实现了分区操作系统中安全关键类应用任务的多级安全访问控制，并依据该模型设计了多级安全操作系统的访问控制机制。通过安全性分析证明，该机制使基于微内核的嵌入式操作系统能够防止非法的资源访问、身份伪装、信息泄露和隐秘通道等安全威胁；经过系统的性能测试表明，安全访问控制机制的引入使嵌入式操作系统的综合性能消耗约为10％左右。