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

Virgil D. Gligor, C. Sekar Chandersekaran, W. Cheng, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich

Browse the full SP paper archive.