Towards formal model-based analysis and testing of Android's security mechanisms | Publicación