Some laws of non-interference (CSP algebra) | IEEE Conference Publication | IEEE Xplore