William L. Harrison James Hook Achieving Information Flow Security through Precise Control of Effects. 16-30 2005 conf/csfw/2005 CSFW http://dx.doi.org/10.1109/CSFW.2005.6 db/conf/csfw/csfw2005.html#HarrisonH05