Automated SELinux RBAC Policy Verification Using SMT. - Divyam Pahuja; Alvin Tang 002; Klim Tsoutsman (CoRR, 2023)