Formal Analysis of Android's Permission-Based Security Model,

Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano. Formal Analysis of Android's Permission-Based Security Model, . Sci. Ann. Cuza Univ., 26(1):27-68, 2016. [doi]

Abstract

Abstract is missing.