October 17, 2018 Other Open Access

Tverdyshev, Sergey; Caracuel, Benito; Álvarez, Amelia; Ortaga, 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.</p>\n\n<p>Analogous to the separation kernel that is to be used for <em>building</em> a MILS system, this white paper provides a security architecture template that is to be used for the <em>certification</em> of that MILS system.</p>\n\n<p>The target audience of this document is:</p>\n\n<ul>\n\t<li>Developers of systems, based on a MILS architecture, providing them a template about how to describe their MILS system.</li>\n\t<li>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.</li>\n</ul>\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": "http://creativecommons.org/publicdomain/zero/1.0/legalcode", 
  "creator": [
    {
      "affiliation": "SYSGO", 
      "@type": "Person", 
      "name": "Tverdyshev, Sergey"
    }, 
    {
      "affiliation": "SCHN", 
      "@type": "Person", 
      "name": "Caracuel, Benito"
    }, 
    {
      "affiliation": "SCHN", 
      "@type": "Person", 
      "name": "\u00c1lvarez, Amelia"
    }, 
    {
      "affiliation": "E&E", 
      "@type": "Person", 
      "name": "Ortaga, Alvaro"
    }, 
    {
      "affiliation": "E&E", 
      "@type": "Person", 
      "name": "Rico,  Jose Emilio"
    }, 
    {
      "affiliation": "THA", 
      "@type": "Person", 
      "name": "Hametner, Reinhard"
    }, 
    {
      "affiliation": "SYSGO", 
      "@type": "Person", 
      "name": "Blasum, Holger"
    }, 
    {
      "affiliation": "UCO", 
      "@type": "Person", 
      "name": "Kertis, Tom\u00e1\u0161"
    }, 
    {
      "affiliation": "UROS", 
      "@type": "Person", 
      "name": "Schulz, Thorsten"
    }
  ], 
  "url": "https://zenodo.org/record/1442773", 
  "datePublished": "2018-10-17", 
  "keywords": [
    "MILS", 
    "safety", 
    "securtiy", 
    "system", 
    "Common Criteria", 
    "IEC 62443"
  ], 
  "contributor": [
    {
      "affiliation": "Schneider Electric", 
      "@type": "Person", 
      "name": "Caracuel, Benito"
    }, 
    {
      "affiliation": "Schneider Electric", 
      "@type": "Person", 
      "name": "Alvarez, Amelia"
    }, 
    {
      "affiliation": "Thales", 
      "@type": "Person", 
      "name": "Hametner, Reinhard"
    }, 
    {
      "affiliation": "SYSGO", 
      "@type": "Person", 
      "name": "Blasum, Holger"
    }, 
    {
      "affiliation": "UCO", 
      "@type": "Person", 
      "name": "Kertis, Tomas"
    }, 
    {
      "affiliation": "Institute of Applied Microelectronics and CE,,University of Rostock", 
      "@type": "Person", 
      "name": "Schulz, Thorsten"
    }
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.1442773", 
  "@id": "https://doi.org/10.5281/zenodo.1442773", 
  "@type": "CreativeWork", 
  "name": "MILS Security Architecture Templates"
}