SELint: an SEAndroid policy analysis tool.

Elena Reshetova Filippo Bonazzi N. Asokan

Published in: CoRR (2016)

Keyphrases

analysis tool
optimal policy
policy making
neural network
search algorithm
real time
markov chain
transport systems
revenue management
asymptotically optimal
access control policies
conflict resolution
similarity measure
website
information systems
databases
data sets