 | 1999 |
|---|
| 10 |       | Shabnam Erfani,
C. Sekar Chandersekaran:
Generic Support for PKIX Certificate Management in CDSA.
ACSAC 1999: 269-275 |
| 1993 |
|---|
| 9 | | Ping Lin,
C. Sekar Chandersekaran:
Integration of DCE and Local Registries: Design Approaches.
ACM Conference on Computer and Communications Security 1993: 165-170 |
| 1990 |
|---|
| 8 | | 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 |
|---|
| 7 |  | 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 |
| 6 | | 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) |
| 5 | | 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 |
|---|
| 4 | | 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 |
| 3 | | 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 |
| 1981 |
|---|
| 2 | | C. Sekar Chandersekaran,
Richard C. Linger:
Software specification using the SPECIAL language.
Journal of Systems and Software 2(1): 31-38 (1981) |
| 1976 |
|---|
| 1 | | K. S. Shankar,
C. Sekar Chandersekaran:
Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems.
ICSE 1976: 585-591 |
