@inproceedings{conf/esorics/BroadfootLR00,
  title = "Automating Data Independence",
  author = "Philippa J. Broadfoot and Gavin Lowe and A. W. Roscoe",
  year = "2000",
  booktitle = "Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6,
2000, Proceedings",
  editor = "Fr{\'e}d{\'e}ric Cuppens and Yves Deswarte and Dieter Gollmann and Michael Waidner",
  isbn = "3-540-41031-7",
  pages = "175-190",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/BLR_esorics00.ps",
  volume = "1895",
  doi = "10.1007/10722599_11",
}