Chii-Ren Tsai

Publication Activity (10 Years)

Years Active: 1987-1990
Publications (10 Years): 0

Publications

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)
Chii-Ren Tsai, Virgil D. Gligor
A bandwidth computation model for covert storage channels and its applications. IEEE Symposium on Security and Privacy (1988)
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)