State Space Reduction for Verifying Noninterference | IEEE Conference Publication | IEEE Xplore