@article{journals/tcs/RohrmairL05,
  author = "Gordon Thomas Rohrmair and Gavin Lowe",
  doi = "10.1016/j.tcs.2005.03.004",
  journal = "Theor. Comput. Sci.",
  number = "1",
  pages = "82-101",
  title = "Using data-independence in the analysis of intrusion detection systems",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/intrusion.ps",
  volume = "340",
  year = "2005",
}