Naoyuki Nagatou Takuo Watanabe Run-Time Detection of Covert Channels. 577-584 2006 conf/IEEEares/2006 ARES http://doi.ieeecomputersociety.org/10.1109/ARES.2006.114 db/conf/IEEEares/ares2006.html#NagatouW06