@misc{indiciae07f13a2ccd09,
  title = {The Complexity of Synchronous Notions of Information Flow Security},
  author = {Franck Cassez and Ron van der Meyden and Chenyi Zhang},
  year = {2014},
  url = {https://arxiv.org/abs/1402.0601},
  note = {Source identifier: 1402.0601}
}