Login / Signup
A Formal Method for the Identification of Covert Storage Channels in Source Code.
Chii-Ren Tsai
Virgil D. Gligor
C. Sekar Chandersekaran
Published in:
IEEE Symposium on Security and Privacy (1987)
Keyphrases
</>
source code
open source
programming language
software systems
real world
website