Efficient and flexible access control via logic program specialisation

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2004, Pages 190-199

  Barker, Steve ^a   Leuschel, Michael ^b   Varea, Mauricio ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Cogen Approach; Database Access Control; Datalog; Partial Deduction; Program Transformation

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS; WORLD WIDE WEB;

COGEN APPROACH; DATABASE ACCESS CONTROL; DATALOG; PARTIAL DEDUCTION; PROGRAM TRANSFORMATIONS;

COMPUTER PROGRAM LISTINGS;

EID: 11244317663     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1014007.1014026     Document Type: Conference Paper

References (23)

1. S. Barker. Protecting deductive databases from unauthorized retrieval and update requests. Journal of Data and Knowledge Engineering, 23(3):231-285, 2002.
2. S. Barker. Web usage control in rsclp. In Proc. 18th IFIP WG Conf. on Database Security, 2004.
3. S. Barker and P. Stuckey. Flexible access control policy specification with constraint logic programming. A CM Trans. on Information and System Security, 6(4):501-546, 2003.
4. E. Bertino, C. Bettini, E. Ferrari, and P. Samarati. An access control model supporting periodicity constraints and temporal reasoning. ACM TODS, 23(3):231-285, 1998.
5. E. Bertino, B. Catania, E. Ferrari, and P. Perlasca. A system to specify and manage multipolicy access control models. In P roc. IEEE 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 2002.
6. A. Briney. Information security 2000. Information Security, pages 40-68, 2000.
7. K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293-322. Plenum, 1978.
8. C. Date. An Introduction to Database Systems. Addison-Wesley, 2003.
9. D. Ferraiolo, J. Cugini, and R. Kuhn. Role-based access control (RBAC): Features and motivations. In Proc. of the 11th Annual Computer Security Applications Conf., pages 241-248, 1995.
10. Y. Futamura. Partial evaluation of a computation process - an approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45-50, 1971.
11. B. Grosof and T. Poon. Representing agent contracts with exceptions using xml rules, ontologies and process descriptions. In WWW 2003, pages 340-349, 2003.
12. S. Jajodia, P. Samarati, M. Sapino, and V. Subrahmaninan. Flexible support for multiple access control policies. ACM TODS, 26(2):214-260, 2001.
13. N. D. Jones. Partial evaluation, self-application and types. In M. S. Paterson, editor, Automata, Languages and Programming, LNCS 443, pages 639-659, Springer-Verlag, 1990.
14. N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation, Prentice Hall, 1993.
15. M. Leuschel, S. Craig, M. Bruynooghe, and W. Vanhoof. Specializing interpreters using offline partial deduction. In M. Bruynooghe and K.-K. Lau, editors, Program Development in Computational Logic, LNCS 3049, pages 341-376. Springer-Verlag, 2004.
16. M. Leuschel, J. Jorgensen, W. VanHoof, and M. Bruynooghy. Offline specialisation in Prolog using a hand-written compiler generator. Theory and Practice of Logic Programming, 4(1):139-191, 2004.
17. M. Leuschel and D. D. Schreye. Creating specialised integrity checks through partial evaluation of meta-interpreters. JLP, 36(1):149-193, 1998.
18. H. Makholm. On Jones-optimal specialization for strongly typed languages. In W. Taha, editor, Semantics, Applications, and Implementation of Program Generation, LNCS 1924, pages 129-148. Springer-Verlag, 2000.
19. K. Marriott and P. Stuckey. Programming with Constraints: an Introduction. MIT Press, 1998.
20. T. Przymusinski. On the declarative semantics of deductive databases and logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193-216. Morgan-Kaufmann, 1988.
21. K. Sagonas, T. Swift, D. Warren, J. Freire, and P. Rao. The XSB System Version 2.0, Programmer's Manual, 1999.
22. K. Sagonas, T. Swift, and D. S. Warren. XSB as an efficient deductive database engine. In Proceedings of the A CM SIGMOD International Conference on the Management of Data, pages 442-453, Minneapolis, Minnesota, May 1994. ACM.
23. R. Sandhu, D. Ferraiolo, and R. Kuhn. The NIST model for role-based access control: Towards a unified standard. In Proc. 4th ACM Workshop on Role-Based Access Control, pages 47-61, 2000.