Published May 4, 2018 | Version 1.0
Project deliverable Open

MILS Platform PP Modules

  • 1. Epoche and Espri SLU
  • 2. atsec information security GmbH
  • 3. Schneider Electric Espana SA
  • 4. SYSGO AG


This is a list of extensions to the certMILS base PP ( that are available as modules in the modular PP. Note: The extensions are a research output from the certMILS project. That is, despite being a sincere effort that we have submitted to further feedback (, they have not undergone Common Criteria certification.

This document is the deliverable D2.2. A PP-Module refers to a Base Protection Profile (or Base-PP) that provides the definition of the TOE type and the mandatory requirements to be fulfilled. A PP-Module has to be used with the Base-PPs: a PP-Module may introduce new elements to the Base-PPs and may also refine or interpret some of the elements of the Base-PP. A modular Protection Profile (PP) is used to evaluate products with security targets according to PP configurations, which consist of a base Protection Profile and zero or more PP modules. The associated Base-PP is defined in D2.1. Whereas an ST always describes a specific TOE, a PP is intended to describe a TOE type (in this case, separation kernel OS). The same PP may therefore be used as a template for many different STs to be used in different evaluations. This "PP Modules" D2.2 document makes reference to the PP Modules that have been defined as output of the task 2.2 within WP2. For better usability by the CC community, each PP Module is edited as a separate document.


This deliverable is research output from the certMILS project. It has not undergone Common Criteria certification.



Files (4.2 MB)

Name Size Download all
369.3 kB Preview Download
523.3 kB Preview Download
370.6 kB Preview Download
398.7 kB Preview Download
280.0 kB Preview Download
385.5 kB Preview Download
508.4 kB Preview Download
273.3 kB Preview Download
194.0 kB Preview Download
190.0 kB Preview Download
412.1 kB Preview Download
291.3 kB Preview Download

Additional details


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