Theorem proving for modeling and conflict checking of authorization policies.
Devrim UnalM. Ufuk ÇaglayanPublished in: ISCN (2006)
Keyphrases
- theorem proving
- conflict resolution
- first order logic
- decision procedures
- automated deduction
- theorem prover
- term rewriting
- inference rules
- parallel search
- automated reasoning
- proof planning
- access control policies
- automatic programming
- combinatorial search
- logical inference
- automated theorem proving
- resolving conflicts
- distributed search
- proof procedure
- consequence finding
- data mining
- geometry theorem proving
- natural deduction
- optimal policy
- access control
- constraint satisfaction problems
- semi supervised
- equational theories
- artificial intelligence