Permission-based security models provide controlled access to various system resources.
The expressiveness of the permission set plays an important role in providing the right level …

Android uses a system of permissions to control how apps access sensitive devices and
data stores. Unfortunately, we have little understanding of the evolution of Android …

The ever increasing expansion of mobile applications into nearly every aspect of modern
life, from banking to healthcare systems, is making their security more important than ever …

Several works have recently shown that Android's security architecture cannot prevent many
undesired behaviors that compromise the integrity of applications and the privacy of their …

Android is one of the most essential and highly used operating systems. Android
permissions system is a core security component that offers an access-control mechanism to …

We introduce the Android Security Framework (ASF), a generic, extensible security
framework for Android that enables the development and integration of a wide spectrum of …

Modern smartphone operating systems (OSs) have been developed with a greater
emphasis on security and protecting privacy. One of the mechanisms these systems use to …

This paper proposes a formal model of the Android permission scheme. We describe the
scheme specifying entities and relationships, and provide a state-based model which …

Android is the first mass-produced consumer-market open source mobile platform that
allows developers to easily create applications and users to readily install them. However …

Security policies, which specify what applications are allowed to do, are notoriously difficult
to specify correctly. Many applications were found to request over-liberal permissions. On …