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]

@inproceedings{ZhaiZLYTY09,
  title = {Automatic identification of covert channels inside Linux kernel based on source codes},
  author = {Gaoshou Zhai and Yufeng Zhang and Chengyu Liu and Na Yang and Minli Tian and Hengsheng Yang},
  year = {2009},
  doi = {10.1145/1655925.1656006},
  url = {http://doi.acm.org/10.1145/1655925.1656006},
  tags = {rule-based, source-to-source, peer-to-peer, open-source},
  researchr = {https://researchr.org/publication/ZhaiZLYTY09},
  cites = {0},
  citedby = {0},
  pages = {440-445},
  booktitle = {Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human 2009, Seoul, Korea, 24-26 November 2009},
  editor = {Sungwon Sohn and Ling Chen and Soonwook Hwang and Kyungeun Cho and Shigeo Kawata and Kyhyun Um and Franz I. S. Ko and Kae-Dal Kwack and Jong Hyung Lee and Gang Kou and Kiyoshi Nakamura and Alvis Cheuk M. Fong and Patrick C. M. Ma},
  volume = {403},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {978-1-60558-710-3},
}