Towards a Certified Reference Monitor of the Android 10 Permission System.

Guido De Luca Carlos Luna

Published in: TYPES (2020)

Keyphrases

real time
mobile devices
monitoring system
access control
third party
smart phones
malware detection
neural network
decision trees
reference frame
continuous monitoring