A High Assurance Window System Prototype

Jeremy Epstein, John McHugh, Hilarie K. Orman, R. Pascale, Ann B. Marmor-Squires, B. Danner, C. Martin, M. Branstad, J. Benson, D. Rothnie. A High Assurance Window System Prototype. Journal of Computer Security, 2(2-3):159-190, 1993.

Abstract

Abstract is missing.