COVERN: A Logic for Compositional Verification of Information Flow Control | IEEE Conference Publication | IEEE Xplore