An Information Flow Security Logic for Permission-Based Declassification Strategy. - Zhenheng Dong; Yongxin Zhao; Qiang Wang (SEKE, 2022)