tools that present a graphical abstraction of a SELinux policy

[Christian Lange <christian lange3 uni-rostock de>]

Hi,

I'm a student of the university of Rostock, In the scope of my master
thesis I want to get an
overview about existing graphical tools (commercial or free),
abstracting from underlying SELinux
details, helping users to define and maintain SELinux policies (TE &
MCS). So far, I found the
following tools:
 - SLIDE
 - VIRGIL
 - Tresys Brickwall Security Suite
They only use masks for data input and don't abstract from the policy
to show a graph.

My questions are:
 - Is there any tool that creates a abstract view of a policy as a
graph or something like that?
 - Is there any demand for such a tool?

Thanks in advance