Franck Cassez, Ron van Der Meyden, Chenyi Zhang. The Complexity of Synchronous Notions of Information Flow Security.
International Conference on Foundations of Software Science and Computation Structures (FoSSACS'2010), Apr 2010, Paphos, Cyprus.
⟨inria-00493639⟩