参考文献
[1]Harrison W S,Hanebutte N,Oman P,et al.The MILS Architecture for a Secure Global Information Grid[J].Journal of Defense Software Engineering,2005,18(10):20-24.
[2]Alves-Foss J,Oman P W,Taylor C,et al. The MILS Archi-tecture for High-assurance Embedded System[J].Inter-national Journal of Embedded Systems,2006,2(3/4):239-247.
[3]Boettcher C,Delong R,Rusby J,et al.The MILS Component Integration Approach to Secure Information Sharing[C]//Proceedings of the 27th IEEE/AIAA Digital Avionics Systems Conference.Washington D.C.,USA:IEEE Press,2008:1-14.
[4]周睿.面向安全关键的虚拟化与分区操作操作系统研究与实现[D].兰州:兰州大学,2010.
[5]胡林平.MILS机载安全操作系统设计[J].航空计算技术,2012,42(2):110-112,122.
[6]杨琼,周霆,胡宁,等.一种面向MILS的多级安全文件系统的架构设计[J].科学技术与工程,2011,11(30):7443-7447.
[7]崔西宁,王聪林.基于MILS CORBA的多级安全分区通信机制[J].计算机科学,2013,40(5):38-41.
[8]彭东脉.基于GDB的双核调试器的研究与实现[D].成都:电子科技大学,2010.
[9]Uchenick G M,Vanfleet W M.Multiple Independent Levels of Safety and Security:High Assurance Architecture for MILS/MLS[C]//Proceedings of MILCOM’05.Washington D.C.,USA:IEEE Press,2005:610-614.
[10]Vanfleet W M,Luke J A.MILS——Architecture for High-assurance Embedded Computing[J].Crosstalk Journal of Defense Software Engineering,2005,18(8):12-15.
[11]罗克露.嵌入式软件调试技术[M].北京:电子工业出版社,2009.
[12]张灯.面向多重独立安全等级架构的安全通信机制研究[D].西安:西安电子科技大学,2011.
[13]成亚萌.MILS系统中分区间的信息流控制[D].西安:西安电子科技大学,2012.
[14]邢薇薇.面向航空电子的分区内核关键技术研究[D].西安:西安电子科技大学,2011.
[15]陆俊峰,洪一,黄光红.基于分层结构的硬件仿真器设计[J].计算机工程,2010,36(11):215-216,220.
[16]贾璐.基于对称多处理架构的软件调试技术研究和实现[J].航空计算技术,2014,44(3):101-104.
编辑刘冰
|