Other Open Access

MILS Security Architecture Templates

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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.1442773", 
  "language": "eng", 
  "title": "MILS Security Architecture Templates", 
  "issued": {
    "date-parts": [
      [
        2018, 
        10, 
        17
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Tverdyshev, Sergey"
    }, 
    {
      "family": "Caracuel, Benito"
    }, 
    {
      "family": "\u00c1lvarez, Amelia"
    }, 
    {
      "family": "Ortaga, Alvaro"
    }, 
    {
      "family": "Rico,  Jose Emilio"
    }, 
    {
      "family": "Hametner, Reinhard"
    }, 
    {
      "family": "Blasum, Holger"
    }, 
    {
      "family": "Kertis, Tom\u00e1\u0161"
    }, 
    {
      "family": "Schulz, Thorsten"
    }
  ], 
  "type": "article", 
  "id": "1442773"
}
222
196
views
downloads
All versions This version
Views 222222
Downloads 196196
Data volume 425.1 MB425.1 MB
Unique views 208208
Unique downloads 168168

Share

Cite as