Automated SELinux RBAC Policy Verification Using SMT

Divyam Pahuja, Alvin Tang, Klim Tsoutsman

Security-Enhanced Linux (SELinux) is a Linux kernel module that allows for a role-based access control (RBAC) mechanism. It provides a fine-grained security framework enabling syst…