State Space Reduction with Message Inspection in Security Protocol Model Checking
Stylianos BasagiannisPanagiotis KatsarosAndrew PombortsisPublished in: CoRR (2009)
Keyphrases
- model checking
- security protocols
- state space
- reachability analysis
- temporal logic
- model checker
- formal specification
- temporal properties
- finite state
- heuristic search
- formal verification
- timed automata
- automated verification
- verification method
- symbolic model checking
- dynamic programming
- dynamical systems
- markov decision processes
- optimal policy
- key management
- reinforcement learning
- computation tree logic
- bounded model checking
- transition systems
- epistemic logic
- formal methods
- concurrent systems
- search space
- belief state
- sensor networks
- security mechanisms
- rfid tags
- deterministic finite automaton
- artificial intelligence