Implications of Multi-Core Architectures on the Development of Multiple Independent Levels of Security (MILS) Compliant Systems

Abstract

Using Government drawings, specifications, or other data included in this document for any purpose other than Government procurement does not in any way obligate the U.S. Government. The fact that the Government formulated or supplied the drawings, specifications, or other data does not license the holder or any other person or corporation; or convey any rights or permission to manufacture, use, or sell any patented invention that may relate to them. This report is the result of contracted fundamental research deemed exempt from public affairs security and policy review in accordance with SAF/AQR memorandum dated 10 Dec 08 and AFRL/CA policy clarification memorandum dated 16 Jan 09. This report is available to the general public, including foreign nationals. Copies may be obtained from the Defense Technical Information Center (DTIC) (http://www.dtic.mil).

On MILS I/O Sharing Targeting Avionic Systems

“…Despite our support for their opinion that the P4080 generally misses features for being used in general purpose MILS systems, their rationale for this conclusion is incomplete from our perspective. In [36] the authors claim limitations of BMan, we have figured during our study as well. Beyond this work, we have analyzed BMan more detailed and additionally investigated QMan and FMan.…”

“…al deny in [10], [36] their recommendation to use the DPAA for general purpose MILS systems. Despite our support for their opinion that the P4080 generally misses features for being used in general purpose MILS systems, their rationale for this conclusion is incomplete from our perspective.…”