Azan Hamad Alkhorem, Daniel Conte de Leon, Ananth A. Jillepalli, Jia Song: Graph-based formal modeling and implementation of access control policies with automated conflict and redundancy detection. Int. J. Inf. Sec. 25(2): 61 (2026)