Expressive Declassification Policies and Modular Static Enforcement | IEEE Conference Publication | IEEE Xplore