V3SPA: A visual analysis, exploration, and diffing tool for SELinux and SEAndroid security policies.

Robert Gove

Browse the full VizSec paper archive.