A New Security Testing Method and Its Application to the Secure Xenix Kernel

Virgil D. Gligor, C. Sekar Chandersekaran, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich. A New Security Testing Method and Its Application to the Secure Xenix Kernel. IEEE Trans. Software Eng., 13(2):169-183, 1987.

Abstract

Abstract is missing.