Malicious Collusion Detection in Mobile Environment by means of Model Checking.
Rosangela CasolareFabio MartinelliFrancesco MercaldoAntonella SantonePublished in: IJCNN (2020)
Keyphrases
- model checking
- mobile environments
- temporal logic
- formal verification
- model checker
- formal specification
- symbolic model checking
- mobile devices
- automated verification
- timed automata
- transition systems
- mobile computing
- temporal properties
- mobile users
- computation tree logic
- epistemic logic
- formal methods
- verification method
- mobile applications
- linear temporal logic
- binary decision diagrams
- mobile agents
- deterministic finite automaton
- bounded model checking
- context aware
- planning domains
- concurrent systems
- computing environments
- wireless networks