Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a database and an access policy specification. For processing access control requests we specialise the meta-program for a give...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2006.
|
| Subjects: | |
| Online Access: | Get fulltext |