Anindya Banerjee David A. Naumann Stan Rosenberg Expressive Declassification Policies and Modular Static Enforcement. 339-353 2008 IEEE Symposium on Security and Privacy http://doi.ieeecomputersociety.org/10.1109/SP.2008.20 conf/sp/2008 db/conf/sp/sp2008.html#BanerjeeNR08