Evaluating Access Control Policies Through Model Checking.
Nan ZhangMark RyanDimitar P. GuelevPublished in: ISC (2005)
Keyphrases
- model checking
- access control policies
- access control
- conflict resolution
- temporal logic
- automated verification
- access control systems
- formal specification
- formal verification
- security policies
- temporal properties
- model checker
- symbolic model checking
- verification method
- epistemic logic
- fine grained
- computation tree logic
- distributed environment
- timed automata
- bounded model checking
- formal methods
- transition systems
- formal language
- security mechanisms
- automated reasoning
- data model
- information flow