Login / Signup
A formal approach for detection of security flaws in the android permission system.
Hamid Bagheri
Eunsuk Kang
Sam Malek
Daniel Jackson
Published in:
Formal Aspects Comput. (2018)
Keyphrases
</>
security flaws
automatic detection
detection accuracy
false positives
false alarms
malware detection
object detection
detection method
real time
mobile devices
detection algorithm
formal specification
web services
mobile phone
detection rate
formal model