Analysis of SEAndroid Policies: Combining MAC and DAC in Android
Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution