@inproceedings{murray10-infoflow,
  title = "Analysing the Information Flow Properties of Object-Capability Patterns",
  author = "Toby Murray and Gavin Lowe",
  year = "2010",
  booktitle = "Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009)",
  pages = "81-95",
  series = "Lecture Notes in Computer Science",
  volume = "5983",
  doi = "10.1007/978-3-642-12459-4_7",
}