Guidelines to use and apply PP for all involved stakeholders
- 1. SYSGO SRO
- 2. atsec information security GmbH
- 3. Schneider Electric Espana SA
- 4. Epoche and Espri SLU
- 5. SYSGO AG
- 6. Unicontrols A.S.
We explain how separation kernels are useful for building and certifying medium-and high-assurance systems. We explain how to read a generic document used in the certification of separation-kernel-based systems, the certMILS protection profile (PP), and how to write new PP-conformant security targets for specific separation kernels.
||1.6 MB||Preview Download|