An interface for SELinux management