@inproceedings{CMZ10,
  author        = {F. Cassez and R. {van der Meyden} and C. Zhang},
  title         = {The Complexity of Synchronous Notions of Information Flow Security},
  booktitle     = {Proceedings of {FoSSaCS 2010}},
  year          = {2010},
  pages         = {282--296}
}