Chii-Ren Tsai

On the Identification of Covert Storage Channels in Secure Systems

Virgil D. Gligor, Chii-Ren Tsai, C. Sekar Chandersekaran, 1990, IEEE Trans. Software Eng..

Covert-channel analysis in secure computer systems

Chii-Ren Tsai, 1987 .

Extending Distributed Audit to Heterogeneous Audit Subsystems

Chii-Ren Tsai, 1995 .

A bandwidth computation model for covert storage channels and its applications

Virgil D. Gligor, Chii-Ren Tsai, 1988, Proceedings. 1988 IEEE Symposium on Security and Privacy.

A Formal Method for the Identification of Covert Storage Channels in Source Code

Virgil D. Gligor, Chii-Ren Tsai, C. Sekar Chandersekaran, 1987, 1987 IEEE Symposium on Security and Privacy.