Verifying Android’s Permission Model

Theoretical Aspects of Computing - ICTAC 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25150-9_28 ◽

2015 ◽

pp. 485-504 ◽

Author(s):

Gustavo Betarte ◽

Juan Diego Campo ◽

Carlos Luna ◽

Agustín Romano

Download Full-text