Noninterference with Local Policies

Sebastian Eggert, Henning Schnoor, Thomas Wilke. Noninterference with Local Policies. In Krishnendu Chatterjee, Jiri Sgall, editors, Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Volume 8087 of Lecture Notes in Computer Science, pages 337-348, Springer, 2013. [doi]

Authors

Sebastian Eggert

This author has not been identified. Look up 'Sebastian Eggert' in Google

Henning Schnoor

This author has not been identified. Look up 'Henning Schnoor' in Google

Thomas Wilke

This author has not been identified. Look up 'Thomas Wilke' in Google