The Complexity of Synchronous Notions of Information Flow Security

Franck Cassez, Ron van der Meyden, Chenyi Zhang. The Complexity of Synchronous Notions of Information Flow Security. In C.-H. Luke Ong, editor, Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Volume 6014 of Lecture Notes in Computer Science, pages 282-296, Springer, 2010. [doi]

Authors

Franck Cassez

This author has not been identified. Look up 'Franck Cassez' in Google

Ron van der Meyden

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

Chenyi Zhang

This author has not been identified. Look up 'Chenyi Zhang' in Google