Ait El Hadj, M. , Khoumsi, A. , Benkaouz, Y. and Erradi, M. 2018. Formal Approach to Detect and Resolve Anomalies while Clustering ABAC Policies. EAI Endorsed Transactions on Security and Safety. 5, 16 (Dec. 2018), e3. DOI:https://doi.org/10.4108/eai.13-7-2018.156003.