User authorization approach based on closed right set

Aiming at the problem that the existing ASP knowledge base access control approach does not consider knowledge base containing integrity constraint, an user authorization approach based on closed right set was proposed. According to the dependency relationship between literals and rules in ASP knowledge base, a new type of dependency rule is given. Based on this, a closed right set is calculated, and it is proved that user with closed right set can correctly access ASP knowledge base. The algorithm EG_Right is designed for granting a closed right set to user. Examples show that this approach applies to the ASP knowledge bases containing integrity constraint.