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, doi: 10.4108/eai.13-7-2018.156003.