M. . Ait El Hadj, A. . Khoumsi, Y. . Benkaouz, and M. . Erradi, “Formal Approach to Detect and Resolve Anomalies while Clustering ABAC Policies”, EAI Endorsed Trans Sec Saf, vol. 5, no. 16, p. e3, Dec. 2018.