The Complexity of Synchronous Notions of Information Flow Security.

Franck Cassez, Ron van der Meyden, Chenyi Zhang

Browse the full FOSSACS paper archive.