Conference paper Open Access

Non-Interfering Composed Evaluation

Furgel, Igor; Saftig, Viola; Wagner, Tobias; Müller, Kevin; Schwarz, Reinhard; Blomberg, Axel Söding-Freiherr

In this document an extension of the concept for the evaluation of a Composed TOE is presented. This approach, namely the Non-Interfering Composed TOE, is based on the traceable property of the non-interference of two certified TOEs.

Files (468.5 kB)
Name Size
11-Non-Interfering_Composed_Evaluation_MILS_WS.pdf
md5:826d7e2cd2833cafe7138c002d28b17f 		468.5 kB Download
138
113
views
downloads
All versions This version
Views 138138
Downloads 113113
Data volume 52.9 MB52.9 MB
Unique views 127127
Unique downloads 108108
More info on how stats are collected.
Indexed in
Publication date:
January 19, 2016
DOI:
10.5281/zenodo.47979

Zenodo DOI Badge

DOI 

10.5281/zenodo.47979

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
security composition security evaluation and certification Non- Interference Separation kernel MILS (Multiple Independent Levels of Security) Virtualization Hypervisor
Meeting:
International Workshop on MILS: Architecture and Assurance for Secure Systems, Prague, 19 January 2016
Communities:
License (for files):
Creative Commons Attribution 4.0 International

Share

Cite as

Export