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

• 作者: 杨霞 熊光泽 雷剑
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: BLP安全模型 信息流控制 多级安全 安全关键系统 安全分离内核
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 1001-1005,1046
• 页数: 6页
• 分类号: TP302.8
• 字数: 5504字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2009.06.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	熊光泽	电子科技大学计算机科学与工程学院	148	2069	24.0	38.0
2	杨霞	电子科技大学计算机科学与工程学院	19	117	7.0	10.0
3	雷剑	电子科技大学计算机科学与工程学院	3	20	3.0	3.0