| |
| 1990 | ||
|---|---|---|
| 2 | EE | 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 | ||
| 1 | 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 | |
| 1 | C. Sekar Chandersekaran | [1] [2] |
| 2 | Virgil D. Gligor | [1] [2] |