Efficient and flexible access control via logic program specialisation

Steven Barker, Michael Leuschel, Mauricio Varea

Research output: Chapter in Book/Report/Conference proceedingConference paper

11 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
PublisherACM New York, NY, USA
Pages190 - 199
Number of pages10
ISBN (Print)1-58113-835-0
DOIs
Publication statusPublished - 2004
EventThe 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - Verona, Italy
Duration: 24 Aug 200425 Aug 2004

Publication series

NameACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Conference

ConferenceThe 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Country/TerritoryItaly
CityVerona
Period24/08/200425/08/2004

Fingerprint

Dive into the research topics of 'Efficient and flexible access control via logic program specialisation'. Together they form a unique fingerprint.

Cite this