Login / Signup
Gaoshou Zhai
Publication Activity (10 Years)
Years Active: 2007-2014
Publications (10 Years): 0
Top Topics
Information Flows
Database Security
Rbac Model
Access Control Systems
Top Venues
INTRUST
</>
Publications
</>
Gaoshou Zhai
,
Tao Guo
,
Jie Huang
SCIATool: A Tool for Analyzing SELinux Policies Based on Access Control Spaces, Information Flows and CPNs.
INTRUST
(2014)
Gaoshou Zhai
,
Wenlin Ma
,
Minli Tian
,
Na Yang
,
Chengyu Liu
,
Hengsheng Yang
Design and implementation of a tool for analyzing SELinux secure policy.
ICIS
(2009)
Gaoshou Zhai
,
Hanhui Niu
,
Na Yang
,
Minli Tian
,
Chengyu Liu
,
Hengsheng Yang
Security Testing for Operating System and Its System Calls.
FGIT-SecTech
(2009)
Gaoshou Zhai
,
Yufeng Zhang
,
Chengyu Liu
,
Na Yang
,
Minli Tian
,
Hengsheng Yang
Automatic identification of covert channels inside Linux kernel based on source codes.
ICIS
(2009)
Gaoshou Zhai
,
Jianzhong Cha
Verification and Prototype Implementation of Fuzzy Self-Organization Decision Algorithm for UTCS.
FSKD (2)
(2007)