Title from cover.
Computational program dependence graph and its application to information flow security by Chunyan Mu. Published by Newcastle University, Computing Science in 2011. Publication and catalogue information, links to buy online and reader comments.