MILS Platform PP Modules

This is a list of extensions to the certMILS base PP (https://www.zenodo.org/record/2586499) 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 (https://zenodo.org/record/2541464), 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.