Niklas Broberg David Sands Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. 180-196 2006 conf/esop/2006 ESOP http://dx.doi.org/10.1007/11693024_13 db/conf/esop/esop2006.html#BrobergS06