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
16
4
views
downloads
All versions This version
Views 1616
Downloads 44
Data volume 1.9 MB1.9 MB
Unique views 1616
Unique downloads 44
More info on how stats are collected.
Indexed in
Publication date:
January 19, 2016
DOI:
10.5281/zenodo.47979

Zenodo DOI Badge

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

Share

Cite as

Export