Security Testing for Operating System and Its System Calls. - Gaoshou Zhai; Hanhui Niu; Na Yang; Minli Tian; Chengyu Liu; Hengsheng Yang (FGIT-SecTech, 2009)

Design and implementation of a tool for analyzing SELinux secure policy. - Gaoshou Zhai; Wenlin Ma; Minli Tian; Na Yang; Chengyu Liu; Hengsheng Yang (ICIS, 2009)

Automatic identification of covert channels inside Linux kernel based on source codes. - Gaoshou Zhai; Yufeng Zhang; Chengyu Liu; Na Yang; Minli Tian; Hengsheng Yang (ICIS, 2009)