Sign in
Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System.
Amirhosein Sayyadabdi
Behrouz Tork Ladani
Bahman Zamani
Published in:
ISC Int. J. Inf. Secur. (2022)
Keyphrases
</>
detection method
malware detection
false positives
detection algorithm
automatic detection
detection accuracy
false alarms
database
genetic algorithm
video sequences
object detection
computer systems
detection rate
formal methods