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


Cite as