A practical approach to high assurance multilevel secure computing service | IEEE Conference Publication | IEEE Xplore