Efficient and flexible access control via Jones-optimal logic program specialisation

  title={Efficient and flexible access control via Jones-optimal logic program specialisation},
  author={Steve Barker and Michael Leuschel and Mauricio Varea},
  journal={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… CONTINUE READING
5 Citations
38 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 38 references

Web usage control in rsclp

  • S. Barker
  • In Proc. 18th IFIP WG Conf. on Database Security,
  • 2004
2 Excerpts

Similar Papers

Loading similar papers…