Objective 2b: Enable seamless multi-level security (MLS) operations in contested environments
Multi-level security operations development for contested environments with cross-domain solutions, innovative security architectures, and formal verification methods.