| 1987 |
|---|
| 3 | | 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) |
| 2 | | 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:
Design and Implementation of Secure Xenix.
IEEE Trans. Software Eng. 13(2): 208-221 (1987) |
| 1986 |
|---|
| 1 | | Virgil D. Gligor,
C. Sekar Chandersekaran,
W. Cheng,
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 Symposium on Security and Privacy 1986: 40-59 |
