@article{journals/tcs/Lowe04,
  author = "Gavin Lowe",
  doi = "10.1016/j.tcs.2003.11.019",
  journal = "Theor. Comput. Sci.",
  number = "1",
  pages = "209-256",
  title = "Semantic models for information flow",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/infoflow.ps",
  volume = "315",
  year = "2004",
}