Efficient and flexible access control via Jones-optimal logic program specialisation.
Steve BarkerMichael LeuschelMauricio VareaPublished in: High. Order Symb. Comput. (2008)
Keyphrases
- access control
- logic programs
- logic programming
- fine grained
- dynamic access control
- answer sets
- security policies
- stable models
- data security
- fixpoint
- answer set programming
- security requirements
- access control policies
- computational properties
- security mechanisms
- access control models
- access control systems
- logic program updates
- distributed systems
- normal logic programs
- expressive power