Project deliverable Open Access

Base MILS Platform Protection Profile

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

BibTeX Export

@misc{rico_jose_emilio_2018_2586499,
  author       = {Rico, Jose Emilio and
                  Kurth, Helmut and
                  Hohenegger, Andreas and
                  Ortega, Alvaro and
                  Blasum, Holger and
                  Tverdyshev, Sergey and
                  Hager, Michal},
  title        = {Base MILS Platform Protection Profile},
  month        = may,
  year         = 2018,
  note         = {{This deliverable is research output from the 
                   certMILS project. It has not undergone Common
                   Criteria certification.}},
  publisher    = {Zenodo},
  version      = {1.0},
  doi          = {10.5281/zenodo.2586499},
  url          = {https://doi.org/10.5281/zenodo.2586499}
}
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
More info on how stats are collected.
Indexed in
Publication date:
May 4, 2018
DOI:
10.5281/zenodo.2586499

Zenodo DOI Badge

DOI 

10.5281/zenodo.2586499

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.2586499.svg)](https://doi.org/10.5281/zenodo.2586499)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.2586499.svg
   :target: https://doi.org/10.5281/zenodo.2586499

HTML 

<a href="https://doi.org/10.5281/zenodo.2586499"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.2586499.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.2586499.svg

Target URL 

https://doi.org/10.5281/zenodo.2586499

Keyword(s):
Protection Profile MILS Platform Separation Kernel PP Module Base PP
Grants:
European Commission:
  • certMILS - Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats (731456)
Communities:
License (for files):
Creative Commons Zero v1.0 Universal

Versions

Version 1.0 10.5281/zenodo.2586499 May 4, 2018
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.2586498. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export