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
95
151
views
downloads
All versions This version
Views 9595
Downloads 151151
Data volume 43.4 MB43.4 MB
Unique views 9090
Unique downloads 145145
More info on how stats are collected.
Indexed in
Publication date:
March 14, 2017
DOI:
10.5281/zenodo.571161

Zenodo DOI Badge

DOI 

10.5281/zenodo.571161

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
Communities:
License (for files):
Creative Commons Attribution 4.0 International

Share

Cite as

Export