Automatic identification of covert channels inside Linux kernel based on source codes

Gaoshou Zhai, Yufeng Zhang, Chengyu Liu, Na Yang, Minli Tian, Hengsheng Yang. Automatic identification of covert channels inside Linux kernel based on source codes. In Sungwon Sohn, Ling Chen, Soonwook Hwang, Kyungeun Cho, Shigeo Kawata, Kyhyun Um, Franz I. S. Ko, Kae-Dal Kwack, Jong Hyung Lee, Gang Kou, Kiyoshi Nakamura, Alvis Cheuk M. Fong, Patrick C. M. Ma, editors, Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human 2009, Seoul, Korea, 24-26 November 2009. Volume 403 of ACM International Conference Proceeding Series, pages 440-445, ACM, 2009. [doi]

Abstract

Abstract is missing.