Hybrid Static-Runtime Information Flow and Declassification Enforcement | IEEE Journals & Magazine | IEEE Xplore