On the refinement of non-interference | IEEE Conference Publication | IEEE Xplore