Vincent Cridlig Radu State Olivier Festor A model for checking consistency in access control policies for network management. 11-19 2007 conf/im/2007 Integrated Network Management http://dx.doi.org/10.1109/INM.2007.374765 db/conf/im/im2007.html#CridligSF07