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

Inter-Partition Information Flow Control in High-Trusted Architecture Hades

作　　者：杨霞[1] 古和亦[2] 汪强 桑楠[1] 熊光泽[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都611731 [2]中国人民武装警察部队警官学院,成都610213 [3]许继昌南通信设备有限公司,河南许昌461000

出　　处：《电子科技大学学报》2012年第1期74-79,共6页Journal of University of Electronic Science and Technology of China

基　　金：国家863计划(2007AA01Z131)

摘　　要：为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。To assure the trustworthiness of high-trusted architecture of embedded operating system that named Hades,the inter-partition information flow of Hades must be controlled strictly.By analyzing the limitation of existing methods,we present a new information flow control model and construct a information flow mechanism between partitions.The accuracy of these model and mechanism are verified through the experiment.

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

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]