Ait El Hadj, M. .; Khoumsi, A. .; Benkaouz, Y. .; Erradi, M. . Formal Approach to Detect and Resolve Anomalies While Clustering ABAC Policies. EAI Endorsed Trans Sec Saf 2018, 5, e3.