Non-Interfering Composed Evaluation

Conference object OPEN
Furgel, Igor; Saftig, Viola; Wagner, Tobias; Müller, Kevin; Schwarz, Reinhard; Blomberg, Axel Söding-Freiherr;
  • Related identifiers: doi: 10.5281/zenodo.47979
  • Subject: security composition | security evaluation and certification | Non- Interference | Separation kernel | MILS (Multiple Independent Levels of Security) | Virtualization | Hypervisor

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.
Share - Bookmark

  • Download from
    ZENODO via ZENODO (Conference object, 2016)
  • Cite this publication