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


DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.1442773</identifier>
  <creators>
    <creator>
      <creatorName>Tverdyshev, Sergey</creatorName>
      <givenName>Sergey</givenName>
      <familyName>Tverdyshev</familyName>
      <affiliation>SYSGO</affiliation>
    </creator>
    <creator>
      <creatorName>Caracuel, Benito</creatorName>
      <givenName>Benito</givenName>
      <familyName>Caracuel</familyName>
      <affiliation>SCHN</affiliation>
    </creator>
    <creator>
      <creatorName>Álvarez, Amelia</creatorName>
      <givenName>Amelia</givenName>
      <familyName>Álvarez</familyName>
      <affiliation>SCHN</affiliation>
    </creator>
    <creator>
      <creatorName>Ortaga, Alvaro</creatorName>
      <givenName>Alvaro</givenName>
      <familyName>Ortaga</familyName>
      <affiliation>E&amp;E</affiliation>
    </creator>
    <creator>
      <creatorName>Rico,  Jose Emilio</creatorName>
      <givenName>Jose Emilio</givenName>
      <familyName>Rico</familyName>
      <affiliation>E&amp;E</affiliation>
    </creator>
    <creator>
      <creatorName>Hametner, Reinhard</creatorName>
      <givenName>Reinhard</givenName>
      <familyName>Hametner</familyName>
      <affiliation>THA</affiliation>
    </creator>
    <creator>
      <creatorName>Blasum, Holger</creatorName>
      <givenName>Holger</givenName>
      <familyName>Blasum</familyName>
      <affiliation>SYSGO</affiliation>
    </creator>
    <creator>
      <creatorName>Kertis, Tomáš</creatorName>
      <givenName>Tomáš</givenName>
      <familyName>Kertis</familyName>
      <affiliation>UCO</affiliation>
    </creator>
    <creator>
      <creatorName>Schulz, Thorsten</creatorName>
      <givenName>Thorsten</givenName>
      <familyName>Schulz</familyName>
      <affiliation>UROS</affiliation>
    </creator>
  </creators>
  <titles>
    <title>MILS Security Architecture Templates</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2018</publicationYear>
  <subjects>
    <subject>MILS</subject>
    <subject>safety</subject>
    <subject>securtiy</subject>
    <subject>system</subject>
    <subject>Common Criteria</subject>
    <subject>IEC 62443</subject>
  </subjects>
  <dates>
    <date dateType="Issued">2018-10-17</date>
  </dates>
  <language>en</language>
  <resourceType resourceTypeGeneral="Text">Other</resourceType>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/1442773</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.1442772</relatedIdentifier>
    <relatedIdentifier relatedIdentifierType="URL" relationType="IsPartOf">https://zenodo.org/communities/certmils</relatedIdentifier>
    <relatedIdentifier relatedIdentifierType="URL" relationType="IsPartOf">https://zenodo.org/communities/mils</relatedIdentifier>
  </relatedIdentifiers>
  <rightsList>
    <rights rightsURI="http://creativecommons.org/publicdomain/zero/1.0/legalcode">Creative Commons Zero v1.0 Universal</rights>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&lt;p&gt;The certMILS project (&lt;a href="http://www.certmils.eu/"&gt;http://www.certmils.eu/&lt;/a&gt;) 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.&lt;/p&gt;

&lt;p&gt;Analogous to the separation kernel that is to be used for &lt;em&gt;building&lt;/em&gt; a MILS system, this white paper provides a security architecture template that is to be used for the &lt;em&gt;certification&lt;/em&gt; of that MILS system.&lt;/p&gt;

&lt;p&gt;The target audience of this document is:&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Developers of systems, based on a MILS architecture, providing them a template about how to describe their MILS system.&lt;/li&gt;
	&lt;li&gt;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.&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;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.&lt;/p&gt;</description>
  </descriptions>
  <fundingReferences>
    <fundingReference>
      <funderName>European Commission</funderName>
      <funderIdentifier funderIdentifierType="Crossref Funder ID">10.13039/501100000780</funderIdentifier>
      <awardNumber awardURI="info:eu-repo/grantAgreement/EC/H2020/731456/">731456</awardNumber>
      <awardTitle>Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats</awardTitle>
    </fundingReference>
  </fundingReferences>
</resource>
241
209
views
downloads
All versions This version
Views 241241
Downloads 209209
Data volume 453.3 MB453.3 MB
Unique views 227227
Unique downloads 178178

Share

Cite as