May 4, 2018 Project deliverable Open Access

Tverdyshev, Sergey; Caracuel, Benito; Álvarez, Amelia; Ortega, Alvaro; Rico, Jose Emilio; Hametner, Reinhard; Blasum, Holger; Kertis, Tomáš; Schulz, Thorsten

JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>The certMILS project (<a href=\"http://www.certmils.eu/\">http://www.certmils.eu/</a>) aims at easing building and certification of complex critical systems by using a certain architecture for structuring these systems into partitions that run on a separation kernel, called MILS (Multiple Independent Levels of Security / Safety). Once a critical system is structured by use of a separation kernel, then this technical structuring should lend itself also to a similarly logically structured security and safety argument in certification. Analogous to the separation kernel that is to be used for building a MILS system, this deliverable provides a security architecture template that is to be used for the certification of that MILS system. The target audience of this document is:</p>\n\n<p>* Developers of systems,based on a MILS architecture, providing them a template about how to describe their MILS system.</p>\n\n<p>* Security evaluators of a MILS-based system, giving hints about how the developer description can be used to argue for compliance to Common Criteria (CC) and IEC 62443.</p>\n\n<p>The assurance case made by the security architecture template in this document identifies as building blocks the security mechanisms implemented by a MILS separation kernel and a typical application payload in partitions and derives typical security architecture arguments for MILS-based systems.</p>", 
  "license": "https://creativecommons.org/publicdomain/zero/1.0/legalcode", 
  "creator": [
    {
      "affiliation": "SYSGO AG", 
      "@type": "Person", 
      "name": "Tverdyshev, Sergey"
    }, 
    {
      "affiliation": "Schneider Electric Espana SA", 
      "@type": "Person", 
      "name": "Caracuel, Benito"
    }, 
    {
      "affiliation": "Schneider Electric Espana SA", 
      "@type": "Person", 
      "name": "\u00c1lvarez, Amelia"
    }, 
    {
      "affiliation": "Epoche and Espri SLU", 
      "@type": "Person", 
      "name": "Ortega, Alvaro"
    }, 
    {
      "affiliation": "Epoche and Espri SLU", 
      "@type": "Person", 
      "name": "Rico, Jose Emilio"
    }, 
    {
      "affiliation": "Thales Austria GmbH", 
      "@type": "Person", 
      "name": "Hametner, Reinhard"
    }, 
    {
      "affiliation": "SYSGO AG", 
      "@type": "Person", 
      "name": "Blasum, Holger"
    }, 
    {
      "affiliation": "Unicontrols A.S.", 
      "@type": "Person", 
      "name": "Kertis, Tom\u00e1\u0161"
    }, 
    {
      "affiliation": "Universit\u00e4t Rostock", 
      "@type": "Person", 
      "name": "Schulz, Thorsten"
    }
  ], 
  "url": "https://zenodo.org/record/2586566", 
  "datePublished": "2018-05-04", 
  "version": "1.0", 
  "keywords": [
    "Domain  separation", 
    "non-bypassability", 
    "anti-tamper", 
    "secure initialisation"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.2586566", 
  "@id": "https://doi.org/10.5281/zenodo.2586566", 
  "@type": "CreativeWork", 
  "name": "Security Architecture Template"
}