Other Open Access
Tverdyshev, Sergey; Caracuel, Benito; Álvarez, Amelia; Ortaga, Alvaro; Rico, Jose Emilio; Hametner, Reinhard; Blasum, Holger; Kertis, Tomáš; Schulz, Thorsten
<?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&E</affiliation> </creator> <creator> <creatorName>Rico, Jose Emilio</creatorName> <givenName>Jose Emilio</givenName> <familyName>Rico</familyName> <affiliation>E&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="https://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"><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> <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> <p>The target audience of this document is:</p> <ul> <li>Developers of systems, based on a MILS architecture, providing them a template about how to describe their MILS system.</li> <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> </ul> <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></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>
All versions | This version | |
---|---|---|
Views | 373 | 373 |
Downloads | 351 | 351 |
Data volume | 761.3 MB | 761.3 MB |
Unique views | 356 | 356 |
Unique downloads | 300 | 300 |