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

Chii-Ren Tsai Virgil D. Gligor C. Sekar Chandersekaran A Formal Method for the Identification of Covert Storage Channels in Source Code. 74-87 1987 IEEE Symposium on Security and Privacy db/conf/sp/sp1987.html#TsaiGC87