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]
@inproceedings{ZhouCJL09,
title = {State Space Reduction for Verifying Noninterference},
author = {Conghua Zhou and Li Chen and Shiguang Ju and Zhifeng Liu},
year = {2009},
doi = {10.1109/SSIRI.2009.31},
url = {http://doi.ieeecomputersociety.org/10.1109/SSIRI.2009.31},
researchr = {https://researchr.org/publication/ZhouCJL09},
cites = {0},
citedby = {0},
pages = {132-138},
booktitle = {Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010},
publisher = {IEEE Computer Society},
}