Vincent Cridlig, Radu State, Olivier Festor. A model for checking consistency in access control policies for network management. In Integrated Network Management, IM 2007. 10th IFIP/IEEE International Symposium on Integrated Network Management, Munich, Germany, 21-25 May 2007. pages 11-19, IEEE, 2007. [doi]
Abstract is missing.