An Information Flow Security Logic for Permission-Based Declassification Strategy.

Zhenheng Dong, Yongxin Zhao, Qiang Wang

Browse the full SEKE paper archive.