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


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/01-IOMMU-module.pdf"
      }, 
      "checksum": "md5:638b0f1db2d2a639ba5ef8c797986aae", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "01-IOMMU-module.pdf", 
      "type": "pdf", 
      "size": 369274
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/02-Cryptographic-services-module.pdf"
      }, 
      "checksum": "md5:7f2f4f9bd0fc3a37f15a8f035690e4f3", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "02-Cryptographic-services-module.pdf", 
      "type": "pdf", 
      "size": 523326
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/03-Information-flow-control-module.pdf"
      }, 
      "checksum": "md5:0e96b42c32bcc7d8e1bd8cfb8b6ce6e1", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "03-Information-flow-control-module.pdf", 
      "type": "pdf", 
      "size": 370614
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/04-Management-module.pdf"
      }, 
      "checksum": "md5:b102e625d62f0cb6e5334e27a00cd7be", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "04-Management-module.pdf", 
      "type": "pdf", 
      "size": 398684
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/05-Network-interface-partitioning-module.pdf"
      }, 
      "checksum": "md5:7e46c1c38509dc843eabc5d928843b92", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "05-Network-interface-partitioning-module.pdf", 
      "type": "pdf", 
      "size": 279989
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/06-HAL-module.pdf"
      }, 
      "checksum": "md5:b5aa73dd75d0a359b455d3312967c398", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "06-HAL-module.pdf", 
      "type": "pdf", 
      "size": 385463
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/07-CPU-time-modules.pdf"
      }, 
      "checksum": "md5:ba6885490634311423620c60950ed58b", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "07-CPU-time-modules.pdf", 
      "type": "pdf", 
      "size": 508367
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/08-Secure-boot-module.pdf"
      }, 
      "checksum": "md5:908ccd294a7d50c935c5869b0ea717d4", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "08-Secure-boot-module.pdf", 
      "type": "pdf", 
      "size": 273275
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/09-Security-audit-module.pdf"
      }, 
      "checksum": "md5:9ac097af2fa2d734d6e8372c3e215861", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "09-Security-audit-module.pdf", 
      "type": "pdf", 
      "size": 194027
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/10-Storage-module.pdf"
      }, 
      "checksum": "md5:b2fe184c16d25ed5f73413624b775f0c", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "10-Storage-module.pdf", 
      "type": "pdf", 
      "size": 189968
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/11-Secure-update-module.pdf"
      }, 
      "checksum": "md5:08bb5214d2a89303ee22a01baa3bf956", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "11-Secure-update-module.pdf", 
      "type": "pdf", 
      "size": 412054
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89/certMILS-D2.2-PP-Modules-PU-M16.pdf"
      }, 
      "checksum": "md5:e7f74d52b954f38a1a0815bd851d1d04", 
      "bucket": "47b8561c-d945-4244-b084-eb06db040c89", 
      "key": "certMILS-D2.2-PP-Modules-PU-M16.pdf", 
      "type": "pdf", 
      "size": 291304
    }
  ], 
  "owners": [
    28931
  ], 
  "doi": "10.5281/zenodo.2586507", 
  "stats": {
    "version_unique_downloads": 851.0, 
    "unique_views": 165.0, 
    "views": 181.0, 
    "version_views": 181.0, 
    "unique_downloads": 851.0, 
    "version_unique_views": 165.0, 
    "volume": 394921560.0, 
    "version_downloads": 1122.0, 
    "downloads": 1122.0, 
    "version_volume": 394921560.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.2586507", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.2586506", 
    "bucket": "https://zenodo.org/api/files/47b8561c-d945-4244-b084-eb06db040c89", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.2586506.svg", 
    "html": "https://zenodo.org/record/2586507", 
    "latest_html": "https://zenodo.org/record/2586507", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.2586507.svg", 
    "latest": "https://zenodo.org/api/records/2586507"
  }, 
  "conceptdoi": "10.5281/zenodo.2586506", 
  "created": "2019-03-11T08:24:57.014459+00:00", 
  "updated": "2020-01-20T16:44:57.554012+00:00", 
  "conceptrecid": "2586506", 
  "revision": 7, 
  "id": 2586507, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.2586507", 
    "version": "1.0", 
    "language": "eng", 
    "title": "MILS Platform PP Modules", 
    "license": {
      "id": "CC0-1.0"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.2586506", 
        "relation": "isVersionOf"
      }
    ], 
    "notes": "This deliverable is research output from the certMILS project. It has not undergone Common Criteria certification.", 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "2586506"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "2586507"
          }
        }
      ]
    }, 
    "communities": [
      {
        "id": "certmils"
      }, 
      {
        "id": "mils"
      }
    ], 
    "grants": [
      {
        "code": "731456", 
        "links": {
          "self": "https://zenodo.org/api/grants/10.13039/501100000780::731456"
        }, 
        "title": "Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats", 
        "acronym": "certMILS", 
        "program": "H2020", 
        "funder": {
          "doi": "10.13039/501100000780", 
          "acronyms": [], 
          "name": "European Commission", 
          "links": {
            "self": "https://zenodo.org/api/funders/10.13039/501100000780"
          }
        }
      }
    ], 
    "keywords": [
      "MILS platform", 
      "PP module", 
      "Base PP"
    ], 
    "publication_date": "2018-05-04", 
    "creators": [
      {
        "affiliation": "Epoche and Espri SLU", 
        "name": "Ortega, Alvaro"
      }, 
      {
        "affiliation": "atsec information security GmbH", 
        "name": "Kurth, Helmut"
      }, 
      {
        "affiliation": "atsec information security GmbH", 
        "name": "Hohenegger, Andreas"
      }, 
      {
        "affiliation": "Schneider Electric Espana SA", 
        "name": "Caracuel, Benito"
      }, 
      {
        "affiliation": "Epoche and Espri SLU", 
        "name": "Rico, Jose Emilio"
      }, 
      {
        "affiliation": "Epoche and Espri SLU", 
        "name": "Garcia, Luis"
      }, 
      {
        "affiliation": "SYSGO AG", 
        "name": "Blasum, Holger"
      }, 
      {
        "affiliation": "SYSGO AG", 
        "name": "Tverdyshev, Sergey"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "subtype": "deliverable", 
      "type": "publication", 
      "title": "Project deliverable"
    }, 
    "description": "<p>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.</p>\n\n<p>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 &quot;PP Modules&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.</p>"
  }
}
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