Boniface Hicks Dave King 0002 Patrick McDaniel Michael Hicks Trusted declassification: : high-level policy for a security-typed language. 65-74 2006 PLAS http://doi.acm.org/10.1145/1134744.1134757 conf/pldi/2006plas db/conf/pldi/plas2006.html#HicksKMH06