Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution

The goal is to design a certified domain-specific policy language based on ACCPL, specialized to the task, and the proposed solution includes adopting it to facilitate various analyses and proof of reasonability properties.