Model Checking Cryptographic Protocols with Interval Temporal Logic.
Rui YangXiaoju NingPublished in: J. Convergence Inf. Technol. (2010)
Keyphrases
- temporal logic
- model checking
- cryptographic protocols
- formal verification
- modal logic
- model checker
- satisfiability problem
- symbolic model checking
- temporal properties
- formal specification
- finite state
- computation tree logic
- verification method
- bounded model checking
- transition systems
- standard model
- security protocols
- formal methods
- concurrent systems
- linear temporal logic
- software engineering
- temporal epistemic
- epistemic logic
- authentication protocol
- temporally extended
- reactive systems
- distributed systems