Cong Sun 0001 Liyong Tang Zhong Chen 0001 Enforcing Reactive Noninterference with Reachability Analysis. 321-326 2011 ITNG https://doi.org/10.1109/ITNG.2011.63 https://doi.ieeecomputersociety.org/10.1109/ITNG.2011.63 conf/itng/2011 db/conf/itng/itng2011.html#SunTC11