This research is developing an MLS computing platform based on COTS and Open Source Technology. The project began with an investigation into the presently available and emerging technologies developed to support separation, security, and assured computing. Then we have identified gaps in the available technology components that would preclude the development of a high-assurance MLS computing platform that includes I/O capabilities. Next, we will develop some candidate architectures based on the COTS and Open Source technology components. Finally, we will perform an information flow demonstration that demonstrates feasibility of one of the most promising candidate architectures. David M. Nicol is PI, and Sanders is co-PI.
(Funded by Rockwell Collins)