An Automatically Verified Prototype of the Android Permissions System.

Maximiliano Cristiá Guido De Luca Carlos Luna

Published in: J. Autom. Reason. (2023)

Keyphrases

database
mobile applications
automatically generated
user defined
neural network
data mining
information retrieval
image sequences
digital libraries
artificial neural networks
mobile devices
information extraction
test bed
mobile platform