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 115115
Downloads 165165
Data volume 264.9 MB264.9 MB
Unique views 110110
Unique downloads 148148

Share

Cite as