Overview of a high assurance architecture for distributed multilevel security | IEEE Conference Publication | IEEE Xplore