Converting Rule-Based Access Control Policies: From Complemented Conditions to Deny Rules. - Josué A. Ruiz; Paliath Narendran; Amir Masoumzadeh 001; Padmavathi Iyer (SACMAT, 2024)