Published May 4, 2018 | Version 1.0
Project deliverable Open

Guidelines to use and apply PP for all involved stakeholders

Creators

  • 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.

Description

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

certMILS-D2.4-Guidelines-to-Use-and-Apply-PP-PU-M16.pdf

Files (1.6 MB)

Additional details

Funding

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