10.5281/zenodo.2541464
https://zenodo.org/records/2541464
oai:zenodo.org:2541464
Schulz, Thorsten
Thorsten
Schulz
University of Rostock
Hohenegger, Andreas
Andreas
Hohenegger
ATSEC Information Security GmbH
Ortega, Alvaro
Alvaro
Ortega
Epoche & Espri
Blasum, Holger
Holger
Blasum
SYSGO AG
Community Feedback on the Separation Kernel Protection Profile Draft
Zenodo
2019
Common Criteria
Protection Profile
CCUF
Separation Kernel
2019-01-16
eng
10.5281/zenodo.2541463
https://zenodo.org/communities/mils
https://zenodo.org/communities/certmils
https://zenodo.org/communities/eu
V1.0
Creative Commons Attribution 4.0 International
This white paper is reporting on interoperability aspects of the Common Criteria Base Separation Kernel Protection Profile (PP) draft. This paper captures the results of the collaboration on PP interoperability organised by University of Rostock in Task 9.2. It reports how the PP draft can be applied to the separation kernels of MILS platform providers and how well the PP draft addresses requirements of users such as system integrators. Previously, the WP 2 has created a PP with additional modules. To make the proposed PP most accessible to all potential stakeholders in the MILS domain and the Separation Kernel application domain, WP 9 proposed to gather feedback from the community for integration into the PP draft.
The activities being discussed resemble mostly the Common Criteria User Forum presentations and its community involvement. Beyond that, certification bodies and a few known consortium contacts were directly contacted and invited to provide feedback. The questions asked, as well as the accumulated answers are presented.
The white paper closes with a discussion on the continued improvement of the PP for proposed acceptance and adoption.
European Commission
10.13039/501100000780
731456
Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats