Project deliverable Open Access

MILS Platform PP Modules

Ortega, Alvaro; Kurth, Helmut; Hohenegger, Andreas; Caracuel, Benito; Rico, Jose Emilio; Garcia, Luis; Blasum, Holger; Tverdyshev, Sergey

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.

This deliverable is research output from the certMILS project. It has not undergone Common Criteria certification.
Files (4.2 MB)
Name Size
01-IOMMU-module.pdf
md5:638b0f1db2d2a639ba5ef8c797986aae
369.3 kB Download
02-Cryptographic-services-module.pdf
md5:7f2f4f9bd0fc3a37f15a8f035690e4f3
523.3 kB Download
03-Information-flow-control-module.pdf
md5:0e96b42c32bcc7d8e1bd8cfb8b6ce6e1
370.6 kB Download
04-Management-module.pdf
md5:b102e625d62f0cb6e5334e27a00cd7be
398.7 kB Download
05-Network-interface-partitioning-module.pdf
md5:7e46c1c38509dc843eabc5d928843b92
280.0 kB Download
06-HAL-module.pdf
md5:b5aa73dd75d0a359b455d3312967c398
385.5 kB Download
07-CPU-time-modules.pdf
md5:ba6885490634311423620c60950ed58b
508.4 kB Download
08-Secure-boot-module.pdf
md5:908ccd294a7d50c935c5869b0ea717d4
273.3 kB Download
09-Security-audit-module.pdf
md5:9ac097af2fa2d734d6e8372c3e215861
194.0 kB Download
10-Storage-module.pdf
md5:b2fe184c16d25ed5f73413624b775f0c
190.0 kB Download
11-Secure-update-module.pdf
md5:08bb5214d2a89303ee22a01baa3bf956
412.1 kB Download
certMILS-D2.2-PP-Modules-PU-M16.pdf
md5:e7f74d52b954f38a1a0815bd851d1d04
291.3 kB Download
10
34
views
downloads
All versions This version
Views 1010
Downloads 3434
Data volume 11.9 MB11.9 MB
Unique views 99
Unique downloads 99

Share

Cite as