Model Checking Security Properties of Control Flow Graphs.
Frédéric BessonThomas P. JensenDaniel Le MétayerPublished in: J. Comput. Secur. (2001)
Keyphrases
- model checking
- security properties
- flow graphs
- formal methods
- temporal logic
- temporal properties
- automated verification
- formal verification
- model checker
- formal specification
- symbolic model checking
- verification method
- security requirements
- transition systems
- formal model
- flow graph
- computation tree logic
- epistemic logic
- security protocols
- security analysis
- control system
- random walk
- multi agent systems