MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2012, Pages

  Muller, Kevin ^a   Paulitsch, Michael ^a   Tverdyshev, Sergey ^b   Blasum, Holger ^b  

^a AIRBUS GROUP INNOVATIONS   (Germany)

^b Sysgo AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AEROSPACE DOMAIN; AVIONIC DOMAINS; CONTROL INFORMATION; ELECTRONIC ARCHITECTURE; INFORMATION FLOW CONTROL; SECURITY DOMAINS; TIGHT INTEGRATIONS;

COMPUTER NETWORKS; INFORMATION SYSTEMS;

AIRCRAFT CONTROL;

EID: 84880870463     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSNW.2012.6264665     Document Type: Conference Paper

References (12)

1. H. Butz, "The Airbus Approach to Open Integrated Modular Avionics (IMA): Technology, Methods, Processes and Future Road Map," Workshop on Aircraft System Technologies, 2007.
2. J. Nowotsch and M. Paulitsch, "Leveraging Multi-Core Computing Architectures in Avionics," European Dependable Computing Conference (EDCC), 2012.
3. th Digital Avionics Systems Conf., pp. 1-10, 2007.
4. Airlines Electronic Engineering Committee, "ARINC 811: Commercial Aircraft Information Security Concepts of Operation and Process Framework," Tech. Rep., 2005.
5. ARINC, "Avionics Application Software Standard Interface Part 1 Required Services," Tech. Rep., 2010.
6. J. Rushby, "Separation and Integration in MILS (The MILS Constitution)," Tech. Rep. February, 2008.
7. J. Alves-Foss, W. S. Harrison, P. W. Oman, and C. Taylor, "The MILS Architecture for High-Assurance Embedded Systems," Tech. Rep., 2006.
8. "SYSGO website," http://www.sysgo.com.
9. th Digital Avionics Systems Conf. (DASC), pp. 1-11, Oct. 2010.
10. W. S. Harrison, N. Hanebutte, P. W. Oman, and J. Alves-Foss, "The MILS Architecture for a Secure Global Information Grid," Tech. Rep., Oct. 2005.
11. B. Knoblauch, P. Best, V. Rogathaman, and R. Pendse, "Common Firewall Approach to Aviation Architecture," SAE 2011 AeroTech Congress & Exhibition, Oct. 2011.
12. R. V. Robinson, K. Sampigethaya, M. Li, S. Lintelman, R. Poovendran, and D. v. Oheimb, "Challenges for IT Infrastructure Supporting Secure Network-Enabled Commercial Airplane Operations," Proceedings of AIAA, pp. 1-7, 2007.