High assurance security and safety for digital avionics

  title={High assurance security and safety for digital avionics},
  author={J. M. Jacob},
  journal={The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)},
This paper describes: 1. Why security is important for the new generation of digital avionics, 2. A significant evolution to computer security architectures and secure communications MILS (multiple independent levels of security/safety) capable of the high assurance to support MLS (multi-level security) systems without the complexity of traditional MLS systems, 3. The MILS RTOS partitioning kernel architecture, 4. The MILS secure communications partitioning communications system architecture… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-8 of 8 extracted citations

Enhancing Network Security Strategies against External Threats to Civil Aircraft

2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS) • 2016
View 1 Excerpt

An aeronautical data link security overview

2009 IEEE/AIAA 28th Digital Avionics Systems Conference • 2009
View 1 Excerpt


Publications referenced by this paper.
Showing 1-8 of 8 references

Designing INFOSEC Equipment with Separation Kemels, Design Guidance INFOSEC Equipment Seminar ND-285

W. M. Vanfleet

Kemel, Middleware, and Application Level Security Policy Guidance For Deeply Embedded Systems

W. M. Vanfleet, Jun

Stanford Research Institute, NSA RZ Separation Kernel Conference

J. Rushby

A Path to Multiple Levels of Security ”

W. R. Bevier