Project deliverable Open Access

MILS Platform PP Modules

Ortega, Alvaro; Kurth, Helmut; Hohenegger, Andreas; Caracuel, Benito; Rico, Jose Emilio; Garcia, Luis; Blasum, Holger; Tverdyshev, Sergey


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nam##2200000uu#4500</leader>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">MILS platform</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">PP module</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Base PP</subfield>
  </datafield>
  <controlfield tag="005">20200120164457.0</controlfield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">This deliverable is research output from the certMILS project. It has not undergone Common Criteria certification.</subfield>
  </datafield>
  <controlfield tag="001">2586507</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">atsec information security GmbH</subfield>
    <subfield code="a">Kurth, Helmut</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">atsec information security GmbH</subfield>
    <subfield code="a">Hohenegger, Andreas</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Schneider Electric Espana SA</subfield>
    <subfield code="a">Caracuel, Benito</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Epoche and Espri SLU</subfield>
    <subfield code="a">Rico, Jose Emilio</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Epoche and Espri SLU</subfield>
    <subfield code="a">Garcia, Luis</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">SYSGO AG</subfield>
    <subfield code="a">Blasum, Holger</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">SYSGO AG</subfield>
    <subfield code="a">Tverdyshev, Sergey</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">369274</subfield>
    <subfield code="z">md5:638b0f1db2d2a639ba5ef8c797986aae</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/01-IOMMU-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">523326</subfield>
    <subfield code="z">md5:7f2f4f9bd0fc3a37f15a8f035690e4f3</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/02-Cryptographic-services-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">370614</subfield>
    <subfield code="z">md5:0e96b42c32bcc7d8e1bd8cfb8b6ce6e1</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/03-Information-flow-control-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">398684</subfield>
    <subfield code="z">md5:b102e625d62f0cb6e5334e27a00cd7be</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/04-Management-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">279989</subfield>
    <subfield code="z">md5:7e46c1c38509dc843eabc5d928843b92</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/05-Network-interface-partitioning-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">385463</subfield>
    <subfield code="z">md5:b5aa73dd75d0a359b455d3312967c398</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/06-HAL-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">508367</subfield>
    <subfield code="z">md5:ba6885490634311423620c60950ed58b</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/07-CPU-time-modules.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">273275</subfield>
    <subfield code="z">md5:908ccd294a7d50c935c5869b0ea717d4</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/08-Secure-boot-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">194027</subfield>
    <subfield code="z">md5:9ac097af2fa2d734d6e8372c3e215861</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/09-Security-audit-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">189968</subfield>
    <subfield code="z">md5:b2fe184c16d25ed5f73413624b775f0c</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/10-Storage-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">412054</subfield>
    <subfield code="z">md5:08bb5214d2a89303ee22a01baa3bf956</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/11-Secure-update-module.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">291304</subfield>
    <subfield code="z">md5:e7f74d52b954f38a1a0815bd851d1d04</subfield>
    <subfield code="u">https://zenodo.org/record/2586507/files/certMILS-D2.2-PP-Modules-PU-M16.pdf</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2018-05-04</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire</subfield>
    <subfield code="p">user-certmils</subfield>
    <subfield code="p">user-mils</subfield>
    <subfield code="o">oai:zenodo.org:2586507</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">Epoche and Espri SLU</subfield>
    <subfield code="a">Ortega, Alvaro</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">MILS Platform PP Modules</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">user-certmils</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">user-mils</subfield>
  </datafield>
  <datafield tag="536" ind1=" " ind2=" ">
    <subfield code="c">731456</subfield>
    <subfield code="a">Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://creativecommons.org/publicdomain/zero/1.0/legalcode</subfield>
    <subfield code="a">Creative Commons Zero v1.0 Universal</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;This is a list of extensions to the certMILS base PP (https://www.zenodo.org/record/2586499) that are available as modules in the modular PP. Note: The extensions are a research output from the certMILS project. That is, despite being a sincere effort that we have submitted to further feedback (https://zenodo.org/record/2541464), they have not undergone Common Criteria certification.&lt;/p&gt;

&lt;p&gt;This document is the deliverable D2.2. A PP-Module refers to a Base Protection Profile (or Base-PP) that provides the definition of the TOE type and the mandatory requirements to be fulfilled. A PP-Module has to be used with the Base-PPs: a PP-Module may introduce new elements to the Base-PPs and may also refine or interpret some of the elements of the Base-PP. A modular Protection Profile (PP) is used to evaluate products with security targets according to PP configurations, which consist of a base Protection Profile and zero or more PP modules. The associated Base-PP is defined in D2.1. Whereas an ST always describes a specific TOE, a PP is intended to describe a TOE type (in this case, separation kernel OS). The same PP may therefore be used as a template for many different STs to be used in different evaluations. This &amp;quot;PP Modules&amp;quot; D2.2 document makes reference to the PP Modules that have been defined as output of the task 2.2 within WP2. For better usability by the CC community, each PP Module is edited as a separate document.&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.2586506</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.2586507</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">publication</subfield>
    <subfield code="b">deliverable</subfield>
  </datafield>
</record>
181
1,122
views
downloads
All versions This version
Views 181181
Downloads 1,1221,122
Data volume 394.9 MB394.9 MB
Unique views 165165
Unique downloads 851851

Share

Cite as