AOS: an avionics operating system for multi-level secure real-time environments.

Mary M. Bernstein, Chulsoo Kim

Browse the full ACSAC paper archive.