Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture

We describe compositional architectures and certifications in the research project certMILS. Compositional architectures enable re-use of certified COTS (commercial off-the-shelf) components with a well-defined delegation of responsibilities between component developers and system integrators during... View More