The composability of non-interference [system security] | IEEE Conference Publication | IEEE Xplore