Stephen Chong Towards Semantics for Provenance Security. 2009 Workshop on the Theory and Practice of Provenance http://www.usenix.org/events/tapp09/tech/full_papers/chong/chong.pdf conf/fast/2009tapp db/conf/fast/tapp2009.html#Chong09