Analysis of SEAndroid Policies: Combining MAC and DAC in Android
Lattice-based access control models