The Complexity of Intransitive Noninterference

Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke. The Complexity of Intransitive Noninterference. In 32nd IEEE Symposium on Security and Privacy, S&P 2011, 22-25 May 2011, Berkeley, California, USA. pages 196-211, IEEE Computer Society, 2011. [doi]

Authors

Sebastian Eggert

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

Ron van der Meyden

This author has not been identified. Look up 'Ron van der Meyden' 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