Project deliverable Open Access

Base MILS Platform Protection Profile

Rico, Jose Emilio; Kurth, Helmut; Hohenegger, Andreas; Ortega, Alvaro; Blasum, Holger; Tverdyshev, Sergey; Hager, Michal


DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:cnt="http://www.w3.org/2011/content#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.2586499">
    <rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
    <dct:type rdf:resource="http://purl.org/dc/dcmitype/Text"/>
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.2586499</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.2586499"/>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Rico, Jose Emilio</foaf:name>
        <foaf:givenName>Jose Emilio</foaf:givenName>
        <foaf:familyName>Rico</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Epoche and Espri SLU</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Kurth, Helmut</foaf:name>
        <foaf:givenName>Helmut</foaf:givenName>
        <foaf:familyName>Kurth</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>atsec information security GmbH</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Hohenegger, Andreas</foaf:name>
        <foaf:givenName>Andreas</foaf:givenName>
        <foaf:familyName>Hohenegger</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>atsec information security GmbH</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Ortega, Alvaro</foaf:name>
        <foaf:givenName>Alvaro</foaf:givenName>
        <foaf:familyName>Ortega</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Epoche and Espri SLU</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Blasum, Holger</foaf:name>
        <foaf:givenName>Holger</foaf:givenName>
        <foaf:familyName>Blasum</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>SYSGO AG</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Tverdyshev, Sergey</foaf:name>
        <foaf:givenName>Sergey</foaf:givenName>
        <foaf:familyName>Tverdyshev</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>SYSGO AG</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Hager, Michal</foaf:name>
        <foaf:givenName>Michal</foaf:givenName>
        <foaf:familyName>Hager</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>ELEKTROTECHNICKY ZKUSEBNI USTAV, SP</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>Base MILS Platform Protection Profile</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2018</dct:issued>
    <dcat:keyword>Protection Profile</dcat:keyword>
    <dcat:keyword>MILS Platform</dcat:keyword>
    <dcat:keyword>Separation Kernel</dcat:keyword>
    <dcat:keyword>PP Module</dcat:keyword>
    <dcat:keyword>Base PP</dcat:keyword>
    <frapo:isFundedBy rdf:resource="info:eu-repo/grantAgreement/EC/H2020/731456/"/>
    <schema:funder>
      <foaf:Organization>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">10.13039/501100000780</dct:identifier>
        <foaf:name>European Commission</foaf:name>
      </foaf:Organization>
    </schema:funder>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2018-05-04</dct:issued>
    <dct:language rdf:resource="http://publications.europa.eu/resource/authority/language/ENG"/>
    <owl:sameAs rdf:resource="https://zenodo.org/record/2586499"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/2586499</skos:notation>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.2586498"/>
    <dct:isPartOf rdf:resource="https://zenodo.org/communities/certmils"/>
    <dct:isPartOf rdf:resource="https://zenodo.org/communities/mils"/>
    <owl:versionInfo>1.0</owl:versionInfo>
    <dct:description>&lt;p&gt;This is a Protection Profile (PP) according to the Common Criteria (CC). The PP serves as &amp;quot;base PP&amp;quot; of the modular PP. Note: The PP is a research output from the certMILS project.&lt;br&gt; That is, despite being a sincere effort that we have submitted to further feedback (https://zenodo.org/record/2541464), it has not undergone Common Criteria certification.&lt;/p&gt; &lt;p&gt;Whereas a Security Target (ST) always describes a specific Target of Evaluation (TOE), a Protection Profile (PP) is intended to describe a TOE type - in this case a Separation Kernel (SK) operating system. The same PP may therefore be used as a template for many different STs employed in different Common Criteria evaluations.&lt;/p&gt; &lt;p&gt;This &amp;quot;Base PP&amp;quot; can be extended using defined &amp;quot;PP Modules&amp;quot; that are produced as certMILS deliverable D2.2 (https://www.zenodo.org/record/2586507). These PP modules describe optional security functionality of an SK (that may cover additional threats). Together with the base PP, these build a &amp;ldquo;PP Configuration&amp;rdquo;.&lt;/p&gt; &lt;p&gt;The base PP first provides an overview of the type of TOE. The relevant normative text is identified (Common Criteria version 3.1 revision 5) and the security problem is defined. The resolution of that security problem is achieved through security objectives for the TOE and its environment. These objectives are re-expressed as formal security functional requirements that the TOE must implement and as assumptions that the environment must satisfy.&lt;/p&gt; &lt;p&gt;A PP is a living document, so this deliverable should be perceived as a snapshot of the certMILS partners at M16 that will be constantly extended, based on the internal and external feedback.&lt;/p&gt; &lt;p&gt;&amp;nbsp;&lt;/p&gt;</dct:description>
    <dct:description xml:lang="">This deliverable is research output from the certMILS project. It has not undergone Common Criteria certification.</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dcat:distribution>
      <dcat:Distribution>
        <dct:rights>
          <dct:RightsStatement rdf:about="https://creativecommons.org/publicdomain/zero/1.0/legalcode">
            <rdfs:label>Creative Commons Zero v1.0 Universal</rdfs:label>
          </dct:RightsStatement>
        </dct:rights>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.2586499"/>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
  <foaf:Project rdf:about="info:eu-repo/grantAgreement/EC/H2020/731456/">
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">731456</dct:identifier>
    <dct:title>Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats</dct:title>
    <frapo:isAwardedBy>
      <foaf:Organization>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">10.13039/501100000780</dct:identifier>
        <foaf:name>European Commission</foaf:name>
      </foaf:Organization>
    </frapo:isAwardedBy>
  </foaf:Project>
</rdf:RDF>
92
75
views
downloads
All versions This version
Views 9292
Downloads 7575
Data volume 58.5 MB58.5 MB
Unique views 8484
Unique downloads 6464

Share

Cite as