Efficient and flexible access control via logic program specialisation.
Steve BarkerMichael LeuschelMauricio VareaPublished in: PEPM (2004)
Keyphrases
- access control
- logic programs
- fine grained
- logic programming
- data security
- answer sets
- security policies
- fixpoint
- dynamic access control
- answer set programming
- stable models
- access control policies
- role based access control
- security mechanisms
- inside outside algorithm
- normal logic programs
- access control systems
- loop formulas
- general logic programs
- relational database systems