Skip to Main Content
SELinux is one of most used access control models in Linux operating systems. This paper provides an encoding of a default SELinux security policy using the Organization based access control model (Orbac). We will use Fedora 14 as an example of a Linux distribution in order to illustrate our encoding. For each concept (role, type, context,..) used in SELinux we provide its counterpart in Orbac model. This confirms the expressive power of Orbac model.