A model for checking consistency in access control policies for network management | IEEE Conference Publication | IEEE Xplore