Automated verification of access control policies using a SAT solver.
Graham HughesTevfik BultanPublished in: Int. J. Softw. Tools Technol. Transf. (2008)
Keyphrases
- automated verification
- sat solvers
- access control policies
- access control
- conflict resolution
- model checking
- automated reasoning
- distributed environment
- security policies
- formal verification
- access control systems
- orders of magnitude
- sat solving
- search space
- sat instances
- boolean satisfiability
- fine grained
- sat problem
- search strategies
- constraint satisfaction
- graph theory
- temporal logic
- trust negotiation
- loosely coupled
- security mechanisms
- probabilistic reasoning
- distributed systems
- knowledge representation
- digital libraries
- boolean formula
- answer sets