Published May 4, 2018 | Version 1.0
Project deliverable Open

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.



Files (1.6 MB)

Additional details


certMILS – Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats 731456
European Commission