A formal approach for the verification of the permission-based security model of Android | Publicación