On Reductions from Multi-Domain Noninterference to the Two-Level Case

Oliver Woizekowski, Ron van der Meyden. On Reductions from Multi-Domain Noninterference to the Two-Level Case. In Ioannis G. Askoxylakis, Sotiris Ioannidis, Sokratis K. Katsikas, Catherine A. Meadows, editors, Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I. Volume 9878 of Lecture Notes in Computer Science, pages 520-537, Springer, 2016. [doi]

Abstract

Abstract is missing.