Verifying Android's Permission Model.

Gustavo Betarte Juan Diego Campo Carlos Daniel Luna Agustín Romano

Published in: ICTAC (2015)

Keyphrases

mathematical model
probabilistic model
theoretical framework
sensitivity analysis
probability distribution
process model
machine learning
mobile devices
em algorithm
theoretical analysis
statistical model
third party
prediction model