A state-based approach to noninterference | IEEE Conference Publication | IEEE Xplore