支持MLS的多层次嵌入式高可信软件架构

摘要：

为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构.该架构采用"时空分离"思想、虚拟机技术,为基于MLS的嵌入式安全关键系统提供了一种整体解决方案.基于该架构,研究了多层次的安全和防危策略管理方法、信息流控制机制、可信软件的评估和认证方法,为安全关键嵌入式系统提供可认证的安全服务.

关键词：BLP安全模型、信息流控制、多级安全、安全关键系统、安全分离内核

所属期刊栏目：38

分类号：TP302.8(计算技术、计算机技术)

资助基金：国家863计划2007AA01Z131

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

页数：共6页

页码：1001-1005,1046