A System Architecture to Support a Verifiably Secure Multilevel Security System | IEEE Conference Publication | IEEE Xplore