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