| 2008 | ||
|---|---|---|
| p1 | Virgil D. Gligor, C. Sekar Chandersekaran: Surviving Insider Attacks: A Call for System Experiments. Insider Attack and Cyber Security 2008: 153-164 | |
| 1999 | ||
| c6 | Shabnam Erfani, C. Sekar Chandersekaran: Generic Support for PKIX Certificate Management in CDSA. ACSAC 1999: 269-275 | |
| 1993 | ||
| c5 | Ping Lin, C. Sekar Chandersekaran: Integration of DCE and Local Registries: Design Approaches. ACM Conference on Computer and Communications Security 1993: 165-170 | |
| 1990 | ||
| j4 | Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran: On the Identification of Covert Storage Channels in Secure Systems. IEEE Trans. Software Eng. 16(6): 569-580 (1990) | |
| 1987 | ||
| j3 | 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) | |
| j2 | 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) | |
| c4 | Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran: A Formal Method for the Identification of Covert Storage Channels in Source Code. IEEE Symposium on Security and Privacy 1987: 74-87 | |
| 1986 | ||
| c3 | 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 | |
| c2 | 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: On the Design and the Implementation of Secure Xenix Workstations. IEEE Symposium on Security and Privacy 1986: 102-117 | |
| 1981 | ||
| j1 | C. Sekar Chandersekaran, Richard C. Linger: Software specification using the SPECIAL language. Journal of Systems and Software 2(1): 31-38 (1981) | |
| 1976 | ||
| c1 | K. S. Shankar, C. Sekar Chandersekaran: Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems. ICSE 1976: 585-591 | |
Data released under the ODC-BY 1.0 license — See also our legal information page