Formal Modeling and Reasoning about the Android Security Framework.

Alessandro Armando Gabriele Costa Alessio Merlo

Published in: TGC (2012)

Keyphrases

data mining
conceptual framework
modeling framework
malware detection
database systems
probabilistic model
access control
main contribution
theoretical framework
formal methods
security systems
trust management
knowledge sharing and reuse