Model Checking Agent Knowledge in Dynamic Access Control Policies.
Masoud KoleiniEike RitterMark RyanPublished in: TACAS (2013)
Keyphrases
- model checking
- temporal logic
- formal verification
- temporal properties
- dynamic environments
- model checker
- access control
- automated verification
- access control policies
- formal specification
- intelligent agents
- symbolic model checking
- formal methods
- knowledge representation
- multi agent
- autonomous agents
- epistemic logic
- bounded model checking
- knowledge base
- knowledge based systems
- expert systems
- conflict resolution
- multiagent systems
- fine grained
- verification method
- cooperative
- social networks
- computation tree logic