A Formal Method for the Identification of Covert Storage Channels in Source Code. - Chii-Ren Tsai; Virgil D. Gligor; C. Sekar Chandersekaran (S&P, 1987)

A bandwidth computation model for covert storage channels and its applications. - Chii-Ren Tsai; Virgil D. Gligor (S&P, 1988)

On the Identification of Covert Storage Channels in Secure Systems. - Chii-Ren Tsai; Virgil D. Gligor; C. Sekar Chandersekaran (IEEE Trans. Software Eng., 1990)