A System Architecture to Support a Verifiably Secure Multilevel Security System.

George I. Davida, Richard A. DeMillo, Richard J. Lipton

Browse the full SP paper archive.