Project deliverable Open Access

Guidelines to use and apply PP for all involved stakeholders

Rollo, Jan; Kurth, Helmut; Hohenegger, Andreas; Álvarez de Sotomayor, Amelia; Caracuel, Benito; Ortega, Alvaro; Tverdyshev, Sergey; Blasum, Holger; Kertis, Tomáš

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)
Name Size
certMILS-D2.4-Guidelines-to-Use-and-Apply-PP-PU-M16.pdf
md5:de24c1c0dc257627fde0c89e5e38a06b
1.6 MB Download
10
9
views
downloads
All versions This version
Views 1010
Downloads 99
Data volume 14.4 MB14.4 MB
Unique views 77
Unique downloads 77

Share

Cite as