A practical approach to high assurance multilevel secure computing service.

Judith N. Froscher, Myong H. Kang, John P. McDermott, Oliver Costich, Carl E. Landwehr

Browse the full ACSAC paper archive.