Model checking for malicious family detection and phylogenetic analysis in mobile environment.
Mario G. C. A. CiminoNicoletta De FrancescoFrancesco MercaldoAntonella SantoneGigliola VagliniPublished in: Comput. Secur. (2020)
Keyphrases
- model checking
- mobile environments
- phylogenetic analysis
- temporal logic
- formal verification
- model checker
- automated verification
- formal specification
- temporal properties
- symbolic model checking
- bounded model checking
- transition systems
- mobile users
- verification method
- mobile agents
- mobile computing
- computation tree logic
- mobile devices
- computing environments
- epistemic logic
- formal methods
- timed automata
- location based services
- dynamic analysis
- intelligent agents
- context aware
- pairwise
- alternating time temporal logic