On the Design and the Implementation of Secure Xenix Workstations. - Virgil D. Gligor; E. L. Burch; C. Sekar Chandersekaran; Robert S. Chapman; Leslie J. Dotterer; Matthew S. Hecht; Wen-Der Jiang; Gary L. Luckenbaugh; N. Vasudevan (S&P, 1986)

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 (S&P, 1986)

Design and Implementation of Secure Xenix. - Virgil D. Gligor; C. Sekar Chandersekaran; Robert S. Chapman; Leslie J. Dotterer; Matthew S. Hecht; Wen-Der Jiang; Abhai Johri; Gary L. Luckenbaugh; N. Vasudevan (IEEE Trans. Software Eng., 1987)

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 (IEEE Trans. Software Eng., 1987)