Conference paper Open Access

MILS Complete Separation Platform Protection Profile

Furgel, Igor; Saftig, Viola

This paper considers the applicability of Common Criteria (CC) to ‘minimally necessary (complete) separation platform’ comprising underlying hardware and separation (virtualisation) kernel and shares our experience in modelling the security policy for the MILS separation platform. We present our results on the MILS Protection Profile for Complete Separation Platform (MILS CSP PP).

Files (287.5 kB)
Name Size
Saftig2017mils.pdf
md5:b814f838704a3ecfa5c574ce7dd5ed1f 		287.5 kB Download
22
5
views
downloads
All versions This version
Views 2222
Downloads 55
Data volume 1.4 MB1.4 MB
Unique views 2121
Unique downloads 55
More info on how stats are collected.
Indexed in
Publication date:
March 14, 2017
DOI:
10.5281/zenodo.571161

Zenodo DOI Badge

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
Common Criteria Protection Profile Operating System Embedded Systems Underlying Hardware Platform Separation Kernel MILS (Multiple Independent Levels of Security) Virtualization Hypervisor
Meeting:
International Workshop on MILS: Architecture and Assurance for Secure Systems, Nuremberg, Germany, 14 March 2017
Related identifiers:
Supplementary material:
10.5281/zenodo.571162
Communities:
License (for files):
Creative Commons Attribution 4.0

Share

Cite as

Export