Gaoshou Zhai

According to our database, Gaoshou Zhai authored at least 5 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

SCIATool: A Tool for Analyzing SELinux Policies Based on Access Control Spaces, Information Flows and CPNs.

Gaoshou Zhai, Tao Guo, Jie Huang

Proceedings of the Trusted Systems - 6th International Conference, 2014

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

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, 2009

Design and implementation of a tool for analyzing SELinux secure policy.

Gaoshou Zhai, Wenlin Ma, Minli Tian, Na Yang, Chengyu Liu, Hengsheng Yang

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, 2009

Security Testing for Operating System and Its System Calls.

Gaoshou Zhai, Hanhui Niu, Na Yang, Minli Tian, Chengyu Liu, Hengsheng Yang

Proceedings of the Security Technology, 2009

2007

Verification and Prototype Implementation of Fuzzy Self-Organization Decision Algorithm for UTCS.

Gaoshou Zhai, Jianzhong Cha

Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007