Security/Trust as a Polymorphic Computing Constraint
Abstract
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. The 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, hardware, and 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 400,000 CPUs predicted by Moore s law to be available circa 2020.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 2003
- Accession Number
- ADA423822
Entities
People
- Brant Hashii
- Clark Weissman
- Jerry Cole
Organizations
- Northrop Grumman