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]
Abstract is missing.