@phdthesis{AdetoyePhDThesis,
  title = "Secure Information Flow: Analysis and Enforcement",
  author = "Adedayo Oyelakin Adetoye",
  year = "2009",
  address = "Edgbaston, Birmingham, B15 2TT, United Kingdom",
  school = "School of Computer Science, The University of Birmingham",
}