Efficient and Flexible Access Control via Logic Program Specialisation
Barker, Steve, Leuschel, Michael and Varea, Mauricio (2004) Efficient and Flexible Access Control via Logic Program Specialisation. In, Proceedings of the 11th Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). , ACM Press, 190-199.
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. We then proceed to specialise the meta-program for a given access policy and intensional database by using the Logen partial evaluation system. In addition to describing the programs involved in our approach, we give a number of performance measures for our implementation of an access control checker, and we discuss the implications of using this approach for access control on deductive databases. In particular, we show that by using our approach we get flexible access control with virtually zero overhead.
|Item Type:||Book Section|
|Keywords:||Database Access Control, Datalog, Partial Deduction, Cogen Approach, Program Transformation|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science
|Date Deposited:||27 Jul 2004|
|Last Modified:||02 Mar 2012 11:38|
|Contributors:||Barker, Steve (Author)
Leuschel, Michael (Author)
Varea, Mauricio (Author)
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)