Analysis of SEAndroid Policies: Combining MAC and DAC in Android
PRIMA: policy-reduced integrity measurement architecture