A U.S. intelligence agency tasked with providing solutions, products, and services that enable defensive information operations needed to define a way to ensure that their community of application developers (i.e., employees, vendors, contractors, etc.) is able to quickly assess the robustness of security policies on their secure, next-generation workstations. To meet this requirement Tresys designed, developed (and today supports) the necessary Open Source tools: SETools. SETools allows users to expedite analysis and testing of these Security Enhanced Linux (SELinux) security policies and gives users the ability to perform both interactive and complex, automated analysis of their security policy.