PScout: analyzing the Android permission specification.

Kathy Wain Yee Au Yi Fan Zhou Zhen Huang David Lie

Published in: CCS (2012)

Keyphrases

mobile devices
access control
database
real time
high level
location aware
real world
machine learning
artificial intelligence
bayesian networks
distributed systems
mobile phone
third party
formal methods
specification language