Towards formal model-based analysis and testing of Android's security mechanisms | IEEE Conference Publication | IEEE Xplore