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

摘要：

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

关键词：BLP安全模型、高可信嵌入式操作系统体系架构、信息流控制、多级安全、可信分离内核

所属期刊栏目：41

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

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

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

页数：共6页

页码：74-79