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
67
26
views
downloads
All versions This version
Views 6767
Downloads 2626
Data volume 12.2 MB12.2 MB
Unique views 6767
Unique downloads 2323
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