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