Other Open Access
Tverdyshev, Sergey; Caracuel, Benito; Álvarez, Amelia; Ortaga, Alvaro; Rico, Jose Emilio; Hametner, Reinhard; Blasum, Holger; Kertis, Tomáš; Schulz, Thorsten
{ "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": "https://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" }
All versions | This version | |
---|---|---|
Views | 366 | 366 |
Downloads | 346 | 346 |
Data volume | 750.5 MB | 750.5 MB |
Unique views | 349 | 349 |
Unique downloads | 295 | 295 |