tools that present a graphical abstraction of a SELinux policy