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]

Authors

Oliver Woizekowski

This author has not been identified. Look up 'Oliver Woizekowski' in Google

Ron van der Meyden

This author has not been identified. Look up 'Ron van der Meyden' in Google