State Space Reduction for Verifying Noninterference - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Conghua Zhou, Li Chen, Shiguang Ju, Zhifeng Liu. State Space Reduction for Verifying Noninterference. In Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010. pages 132-138, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Conghua Zhou' in GoogleThis author has not been identified. Look up 'Li Chen' in GoogleThis author has not been identified. Look up 'Shiguang Ju' in GoogleThis author has not been identified. Look up 'Zhifeng Liu' in Google

runs on WebDSL