A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving.
Mohsen PourpounehRasoul RamezanianPublished in: ISC Int. J. Inf. Secur. (2016)
Keyphrases
- model checking
- formal verification
- theorem proving
- timed automata
- automated verification
- model checker
- temporal logic
- security protocols
- automated reasoning
- bounded model checking
- symbolic model checking
- formal specification
- theorem prover
- first order logic
- verification method
- transition systems
- formal methods
- satisfiability problem
- decision procedures
- inference rules
- data mining
- expert systems
- knowledge base