A Formal Model to Analyze the Permission Authorization and Enforcement in the Android Framework | IEEE Conference Publication | IEEE Xplore