Shiguang Ju, Xiaoyu Song. On the Formal Characterization of Covert Channel. In Chi-Hung Chi, Kwok-Yan Lam, editors, Content Computing, Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004, Proceedings. Volume 3309 of Lecture Notes in Computer Science, pages 155-160, Springer, 2004. [doi]
Abstract is missing.