An algebraic approach to non-interference (computer security) | IEEE Conference Publication | IEEE Xplore