Bypassing Workflow Satisfiability Problem Due to Access Control Constraints.
Hanan El BakkaliPublished in: NDT (2) (2012)
Keyphrases
- access control
- satisfiability problem
- dynamic access control
- workflow systems
- fine grained
- search algorithm
- temporal logic
- data security
- np complete
- security policies
- phase transition
- access control policies
- role based access control
- stochastic local search algorithms
- security requirements
- sat problem
- access control systems
- database security
- access control models
- security model
- model checking
- constraint satisfaction
- access control mechanism
- web services
- sat instances
- search space
- special case