Verifying Android's Permission Model.

Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustn Romano

Browse the full ICTAC paper archive.