@inproceedings{DBLP:conf/ifip1-7/AdetoyeB09,
  title = "A Policy Model for Secure Information Flow",
  author = "Adedayo Adetoye and Atta Badii",
  year = "2009",
  booktitle = "Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers",
  editor = "Pierpaolo Degano and Luca Vigan{\`o}",
  isbn = "978-3-642-03458-9",
  pages = "1-17",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5511",
}