ENSURING SAFETY AND SECURITY FOR AVIONICS : A CASE STUDY

We present a case study in the avionics context, in which bidirectional information flows exist between critical components and less critical ones. These flows raise security and safety concerns that have to be taken into account to guarantee correct operation of the critical tasks. To allow upwards flows, we propose fault tolerance mechanisms based on diverse operating systems isolated by virtualization.

[1]  Jean Arlat,et al.  Safety and Security Architectures for Avionics , 2008, DCSOFT.

[2]  Bruno d'Ausbourg,et al.  Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem , 1996, J. Comput. Secur..

[3]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[4]  Rushby John,et al.  Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .

[5]  K. J. Bma.  Integrity considerations for secure computer systems , 1977 .

[6]  Yves Deswarte,et al.  Supporting multiple levels of criticality , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[7]  Jean Arlat,et al.  Criticality and Confidence Issues in Avionics , 2009 .

[8]  Jean Arlat,et al.  Enhancing dependability in avionics using virtualization , 2009, VDTS '09.

[9]  David D. Clark,et al.  A Comparison of Commercial and Military Computer Security Policies , 1987, 1987 IEEE Symposium on Security and Privacy.