Hades高可信架构中分区间信息流控制的研究

• 作者: 古和亦 杨霞 桑楠 汪强 熊光泽
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: BLP安全模型 高可信嵌入式操作系统体系架构 信息流控制 多级安全 可信分离内核
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 74-79
• 分类号: TP302.8
• 字数: 5174字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2012.01.015

摘要

为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制.该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	桑楠	电子科技大学计算机科学与工程学院	105	1275	18.0	30.0
2	熊光泽	电子科技大学计算机科学与工程学院	148	2069	24.0	38.0
3	杨霞	电子科技大学计算机科学与工程学院	19	117	7.0	10.0
4	汪强		7	103	4.0	7.0
5	古和亦		1	2	1.0	1.0