Verifying Android's Permission Model. - Gustavo Betarte; Juan Diego Campo; Carlos Daniel Luna; Agustín Romano (ICTAC, 2015)

Formal Analysis of Android's Permission-Based Security Model, . - Gustavo Betarte; Juan Diego Campo; Carlos Luna 001; Agustín Romano (Sci. Ann. Comput. Sci., 2016)