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

Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran

Browse the full SP paper archive.