Information Assurance and Open Architecture Integrated Modular Avionics
暂无分享,去创建一个
[1] John Rushby. A Trusted Computing Base for Embedded Systems , 1984 .
[2] J. Littlefield-Lawwill,et al. Advancing open standards in Integrated Modular Avionics: An industry analysis , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.
[3] G.M. Uchenick. Partitioning Communications System for High Assurance Distributed Systems , 2006, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference.
[4] John Rushby. A Separation Kernel Formal Security Policy in PVS , 2004 .
[5] John Rushby,et al. Disappearing formal methods* , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).
[6] C.B. Watkins,et al. Transitioning from federated avionics architectures to Integrated Modular Avionics , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.
[7] Jim Alves-Foss. The architecture of secure systems , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.