A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Efficient and flexible access control via Jones-optimal logic program specialisation
2008
Higher-Order and Symbolic Computation
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 given access policy and database by using the logen partial evaluation system. The resulting specialised control checking program is dependent solely upon dynamic information that can only be known at
doi:10.1007/s10990-008-9030-8
fatcat:gna2at7nhvcmpg6b7n3alfkbhy