TY  - RPRT
TI  - A New Enforcement on Declassification with Reachability Analysis
AU  - Cong Sun
AU  - Liyong Tang
AU  - Zhong Chen
PY  - 2011
DO  - 10.1109/infcomw.2011.5928777
UR  - https://arxiv.org/abs/1108.4172
ID  - 1108.4172
ER  -