This article expounds and proves the basic model of the inconsistency of the security supervi-sion policy and makes an analysis in the method of garne theory on
State representation is used to discuss the link with two variables, and the estimation of breadth of the two variables(say I and m) is given for S-links.