DoD operates many system high enclaves with limited information flow between enclaves at different security levels. Too often, the result is duplication of operations and inconsistent and untimely data at different sites, which reduces the effectiveness of DoD decision support systems. This paper describes our solution to this problem as it arises in installations of the Joint Maritime Command Information System (JMCIS), an integrated C4I system. Our approach views databases in more classified enclaves as potential replica sites for data from less classified enclaves. Replicated data flows from lower enclaves to higher ones via one-way connections, yielding a high assurance MLS (multi-level secure) distributed system. The one-way connections are the only trusted components. This approach is based on our work an SINTRA (Secure Information Through Replicated Architecture), and applies generally to any collection of systems each running a database at system high. It complements and applies modern system design methods, which separate data management from data processing, and enables effective, low-cost MLS operation within that paradigm. In addition to describing current JMCIS installations and our architectural approach, the paper presents our approach for justifying a system's security and our use of formal methods to increase assurance that security requirements are met.
Improving inter-enclave information flow for a secure strikes planning application
1995
10 Seiten, 24 Quellen
Aufsatz (Konferenz)
Englisch
COMMERCIAL SATELLITE OPERATIONS WITH SECURE ENCLAVE FOR PAYLOAD OPERATIONS
Europäisches Patentamt | 2019
|Air Inter strikes challenge Government
Online Contents | 1994
First drive: 2008 Buick Enclave
Kraftfahrwesen | 2007
|Infrastructure Mixed set-up strikes secure chord with Peavey
British Library Online Contents | 2004
NEPP Processor Enclave: Post COVID Update
NTRS | 2021
|