High Assurance Security/Safety for Deeply Embedded, Real-time Systems
In this paper, we describe:
- 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
- The MILS RTOS Partitioning Kernel architecture
- The MILS secure communications Partitioning Communications System architecture
- Real-time MILS CORBA
- Industry efforts to provide implementations of this architecture
Please disable any pop-up blockers for proper viewing of this Whitepaper.