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áš
Citation Style Language JSON Export
{
"publisher": "Zenodo",
"DOI": "10.5281/zenodo.2586574",
"language": "eng",
"title": "Guidelines to use and apply PP for all involved stakeholders",
"issued": {
"date-parts": [
[
2018,
5,
4
]
]
},
"abstract": "<p>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.</p>",
"author": [
{
"family": "Rollo, Jan"
},
{
"family": "Kurth, Helmut"
},
{
"family": "Hohenegger, Andreas"
},
{
"family": "\u00c1lvarez de Sotomayor, Amelia"
},
{
"family": "Caracuel, Benito"
},
{
"family": "Ortega, Alvaro"
},
{
"family": "Tverdyshev, Sergey"
},
{
"family": "Blasum, Holger"
},
{
"family": "Kertis, Tom\u00e1\u0161"
}
],
"version": "1.0",
"type": "report",
"id": "2586574"
}
115
165
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 115 | 115 |
| Downloads | 165 | 165 |
| Data volume | 264.9 MB | 264.9 MB |
| Unique views | 110 | 110 |
| Unique downloads | 148 | 148 |
Indexed in
- Publication date:
- May 4, 2018
- DOI:
-
- Keyword(s):
- PP protection profile separation kernel assurance system view MILS multiple independent levels of safety/security
- Grants:
-
European Commission:
- certMILS - Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats (731456)
- Communities:
- License (for files):
- Creative Commons Zero v1.0 Universal