Timed Automata for Mobile Ransomware Detection.
Francesco MercaldoFabio MartinelliAntonella SantonePublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2020)
Keyphrases
- timed automata
- model checking
- automatic detection
- detection algorithm
- false positives
- reachability analysis
- theorem proving
- object detection
- artificial intelligence
- mobile devices
- detection method
- event detection
- detection accuracy
- smart phones
- data sets
- mobile phone
- detection scheme
- mobile networks
- object recognition
- false alarms
- mobile applications
- belief revision
- first order logic
- dynamic programming