Dynamic information flow control [Thesis] - Mohamad Faisal Mohamad (King?s College London, 2010)