Exposing provenance for accountability analysis [Thesis] - Muhammad Hafiz Hasan (University of Southampton, 2013)