Automated SELinux RBAC Policy Verification Using SMT.

Divyam Pahuja Alvin Tang Klim Tsoutsman

Published in: CoRR (2023)

Keyphrases

access control policies
access control
model checking
role based access control
rbac model
conflict resolution
semi automated
fully automated
formal verification
security policies
face verification
automated analysis
statistical machine translation
information extraction
verification method