Verification and Prototype Implementation of Fuzzy Self-Organization Decision Algorithm for UTCS. - Gaoshou Zhai; Jianzhong Cha (FSKD (2), 2007)

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)

SCIATool: A Tool for Analyzing SELinux Policies Based on Access Control Spaces, Information Flows and CPNs. - Gaoshou Zhai; Tao Guo; Jie Huang (INTRUST, 2014)