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(16):e3. doi:10.4108/eai.13-7-2018.156003