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>
184
165
views
downloads
All versions This version
Views 184184
Downloads 165165
Data volume 357.9 MB357.9 MB
Unique views 171171
Unique downloads 139139

Share

Cite as