| 2008 |
|---|
| 7 | Surviving Insider Attacks: A Call for System Experiments. Virgil D. Gligor, C. Sekar Chandersekaran. Insider Attack and Cyber Security 2008, 153-164. Web SearchBibTeXDownload |
| 1990 |
|---|
| 6 | On the Identification of Covert Storage Channels in Secure Systems. Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran. IEEE Trans. Software Eng. (16): 569-580 (1990). Web SearchBibTeXDownload |
| 1987 |
|---|
| 5 | A Formal Method for the Identification of Covert Storage Channels in Source Code. Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran. IEEE Symposium on Security and Privacy 1987, 74-87. Web SearchBibTeX |
| 4 | 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. (13): 208-221 (1987). Web SearchBibTeXDownload |
| 3 | 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. IEEE Trans. Software Eng. (13): 169-183 (1987). Web SearchBibTeXDownload |
| 1986 |
|---|
| 2 | 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. IEEE Symposium on Security and Privacy 1986, 102-117. Web SearchBibTeX |
| 1 | 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. IEEE Symposium on Security and Privacy 1986, 40-59. Web SearchBibTeX |
