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


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:contributor>Caracuel, Benito</dc:contributor>
  <dc:contributor>Alvarez, Amelia</dc:contributor>
  <dc:contributor>Hametner, Reinhard</dc:contributor>
  <dc:contributor>Blasum, Holger</dc:contributor>
  <dc:contributor>Kertis, Tomas</dc:contributor>
  <dc:contributor>Schulz, Thorsten</dc:contributor>
  <dc:creator>Tverdyshev, Sergey</dc:creator>
  <dc:creator>Caracuel, Benito</dc:creator>
  <dc:creator>Álvarez, Amelia</dc:creator>
  <dc:creator>Ortaga, Alvaro</dc:creator>
  <dc:creator>Rico,  Jose Emilio</dc:creator>
  <dc:creator>Hametner, Reinhard</dc:creator>
  <dc:creator>Blasum, Holger</dc:creator>
  <dc:creator>Kertis, Tomáš</dc:creator>
  <dc:creator>Schulz, Thorsten</dc:creator>
  <dc:date>2018-10-17</dc:date>
  <dc:description>The certMILS project (http://www.certmils.eu/) 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 white paper provides a security architecture template that is to be used for the certification of that MILS system.

The target audience of this document is:


	Developers of systems, based on a MILS architecture, providing them a template about how to describe their MILS system.
	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.


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.</dc:description>
  <dc:identifier>https://zenodo.org/record/1442773</dc:identifier>
  <dc:identifier>10.5281/zenodo.1442773</dc:identifier>
  <dc:identifier>oai:zenodo.org:1442773</dc:identifier>
  <dc:language>eng</dc:language>
  <dc:relation>info:eu-repo/grantAgreement/EC/H2020/731456/</dc:relation>
  <dc:relation>doi:10.5281/zenodo.1442772</dc:relation>
  <dc:relation>url:https://zenodo.org/communities/certmils</dc:relation>
  <dc:relation>url:https://zenodo.org/communities/mils</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>http://creativecommons.org/publicdomain/zero/1.0/legalcode</dc:rights>
  <dc:subject>MILS</dc:subject>
  <dc:subject>safety</dc:subject>
  <dc:subject>securtiy</dc:subject>
  <dc:subject>system</dc:subject>
  <dc:subject>Common Criteria</dc:subject>
  <dc:subject>IEC 62443</dc:subject>
  <dc:title>MILS Security Architecture Templates</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>publication-other</dc:type>
</oai_dc:dc>
140
123
views
downloads
All versions This version
Views 140140
Downloads 123123
Data volume 266.8 MB266.8 MB
Unique views 128128
Unique downloads 106106

Share

Cite as