Cong Sun, Liyong Tang, Zhong Chen. Enforcing Reactive Noninterference with Reachability Analysis. In Eighth International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, USA, 11-13 April 2011. pages 321-326, IEEE Computer Society, 2011. [doi]
Abstract is missing.