C. Sekar Chandersekaran

Publication Activity (10 Years)

Years Active: 1976-1999
Publications (10 Years): 0

Publications

Shabnam Erfani, C. Sekar Chandersekaran
Generic Support for PKIX Certificate Management in CDSA. ACSAC (1999)
Ping Lin, C. Sekar Chandersekaran
Integration of DCE and Local Registries: Design Approaches. CCS (1993)
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) (1990)
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) (1987)
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)
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) (1987)
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)
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)
C. Sekar Chandersekaran, Richard C. Linger
Software specification using the SPECIAL language. J. Syst. Softw. 2 (1) (1981)
K. S. Shankar, C. Sekar Chandersekaran
Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems. ICSE (1976)