High assurance security and safety for digital avionics

@article{Jacob2004HighAS,
  title={High assurance security and safety for digital avionics},
  author={J. M. Jacob},
  journal={The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)},
  year={2004},
  volume={2},
  pages={8.E.4-8.1}
}
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

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

References

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
2002

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

W. M. Vanfleet, Jun
2000

Stanford Research Institute, NSA RZ Separation Kernel Conference

J. Rushby
1994

A Path to Multiple Levels of Security ”

W. R. Bevier
-1