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 |
Indexed in
- Publication date:
- January 19, 2016
- DOI:
-
- 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