@inproceedings{inproc/Lowe2007,
  title = "On Information Flow and Refinement-Closure",
  author = "Gavin Lowe",
  year = "2007",
  booktitle = "{Proceedings of the Workshop on Issues in the Theory of Security (WITS '07)}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Papers/NDC.pdf",
}