David M. Eyers Sriram Srinivasan Ken Moody Jean Bacon Compile-Time Enforcement of Dynamic Security Policies. 119-126 2008 POLICY http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.24 conf/policy/2008 db/conf/policy/policy2008.html#EyersSMB08