MLS-PCA: A High Assurance Security Architecture for Future Avionics

1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of key avionics technical developments: integrating the network-centric battlefield, management of hundred thousands of distributed processors, high assurance Multi Level Security (MLS) in the battlefield, and low cost high assurance engineering. This paper describes the results of a study and modeling of a new security architecture, (MLS-PCA), that yields a practical solution for JV2020 based upon DARPA Polymorphic Computing Architecture (PCA) advances, and a new distributed process-level encryption scheme. The paper defines a functional model and a verified formal specification of MLS-PCA, for high assurance, with the constraints PCA software and hardware morphware must support. Also, the paper shows a viable mapping of the MLS-PCA model to the PCA hardware. MLS-PCA is designed to support upwards of 500,000 CPU...

• Type: Conference
• Year: 2003
• Where: ACSAC
• Authors: Clark Weissman
• Keywords: ACSAC 2003, Constraints Pca Software, Distributed Process-level Encryption, Joint Vision 2020, Security Privacy