Enforcing Reactive Noninterference with Reachability Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Cong Sun' in GoogleThis author has not been identified. Look up 'Liyong Tang' in GoogleThis author has not been identified. Look up 'Zhong Chen' in Google

runs on WebDSL