May 4, 2018 Project deliverable Open Access

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

JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<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>", 
  "license": "https://creativecommons.org/publicdomain/zero/1.0/legalcode", 
  "creator": [
    {
      "affiliation": "SYSGO SRO", 
      "@type": "Person", 
      "name": "Rollo, Jan"
    }, 
    {
      "affiliation": "atsec information security GmbH", 
      "@type": "Person", 
      "name": "Kurth, Helmut"
    }, 
    {
      "affiliation": "atsec information security GmbH", 
      "@type": "Person", 
      "name": "Hohenegger, Andreas"
    }, 
    {
      "affiliation": "Schneider Electric Espana SA", 
      "@type": "Person", 
      "name": "\u00c1lvarez de Sotomayor, Amelia"
    }, 
    {
      "affiliation": "Schneider Electric Espana SA", 
      "@type": "Person", 
      "name": "Caracuel, Benito"
    }, 
    {
      "affiliation": "Epoche and Espri SLU", 
      "@type": "Person", 
      "name": "Ortega, Alvaro"
    }, 
    {
      "affiliation": "SYSGO AG", 
      "@type": "Person", 
      "name": "Tverdyshev, Sergey"
    }, 
    {
      "affiliation": "SYSGO AG", 
      "@type": "Person", 
      "name": "Blasum, Holger"
    }, 
    {
      "affiliation": "Unicontrols A.S.", 
      "@type": "Person", 
      "name": "Kertis, Tom\u00e1\u0161"
    }
  ], 
  "url": "https://zenodo.org/record/2586574", 
  "datePublished": "2018-05-04", 
  "version": "1.0", 
  "keywords": [
    "PP protection profile", 
    "separation kernel", 
    "assurance", 
    "system view", 
    "MILS   multiple   independent   levels   of   safety/security"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.2586574", 
  "@id": "https://doi.org/10.5281/zenodo.2586574", 
  "@type": "CreativeWork", 
  "name": "Guidelines to use and apply PP for all involved stakeholders"
}