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

Higher-Order and Symbolic Computation

Volumn 21, Issue 1-2, 2008, Pages 5-35

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

^a KING'S COLLEGE LONDON   (United Kingdom)

^b HEINRICH HEINE UNIVERSITY   (Germany)

^c UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Access control; Deductive databases; Meta programming; Partial evaluation; Program transformation

Indexed keywords

ACCESS CONTROL; DATABASE SYSTEMS; MATHEMATICAL TRANSFORMATIONS;

DEDUCTIVE DATABASES; META-PROGRAMMING; PARTIAL EVALUATION; PROGRAM TRANSFORMATION;

COMPUTER PROGRAMMING;

EID: 44649085096     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10990-008-9030-8     Document Type: Article

References (39)

1. Apt, K.R., Turini, F.: Meta-logics and Logic Programming. MIT Press, Cambridge (1995)
2. Baral, C., Gelfond, M.: Logic programming and knowledge representation. JLP 19/20, 73-148 (1994)
3. Barker, S.: Web usage control in RSCLP. In: Proc. 18th IFIP WG Conf. on Database Security (2004)
4. Barker, S., Stuckey, P.: Flexible access control policy specification with constraint logic programming. ACM TISSEC 6(4), 501-546 (2003)
5. Barker, S., Leuschel, M., Varea, M.: Efficient and flexible access control via logic program specialisation. In: PEPM'04: Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, New York, NY, USA, 2004, pp. 190-199. ACM Press, New York (2004)
6. Bertino, E., Bettini, C., Ferrari, E., Samarati, P.: An access control model supporting periodicity constraints and temporal reasoning. ACM TODS 23(3), 231-285 (1998)
7. Bertino, E., Catania, B., Ferrari, E., Perlasca, P.: A system to specify and manage multipolicy access control models. In: Proc. IEEE 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002) (2002)
8. Bondorf, A., Palsberg, J.: Generating action compilers by partial evaluation. J. Funct. Program. 6(2) (1996)
9. Briney, A.: Information security 2000. In: Information Security, pp. 40-68 (2000)
10. Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293-322. Plenum, New York (1978)
11. Date, C.: An Introduction to Database Systems. Addison-Wesley, Reading (2003)
12. Ferraiolo, D., Cugini, J., Kuhn, R.: Role-based access control (RBAC): features and motivations. In: Proc. of the 11th Annual Computer Security Applications Conf., pp. 241-248 (1995)
13. Futamura, Y.: Partial evaluation of computation process-an approach to a compiler-compiler. Higher-Order Symb. Comput. 12(4), 381-391 (1999). Reprinted from Systems - Computers - Controls 2(5), 1971, with a foreword
14. Gallagher, J.: Tutorial on specialisation of logic programs. In: Proceedings of PEPM'93, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 88-98. ACM Press, New York (1993)
15. Gallagher, J., Bruynooghe, M.: Some low-level transformations for logic programs. In: Bruynooghe, M. (ed.) Proceedings of Meta90 Workshop on Meta Programming in Logic, Leuven, Belgium, pp. 229-244 (1990)
16. Grosof, B., Poon, T.: Representing agent contracts with exceptions using XML rules, ontologies and process descriptions. In: WWW 2003, pp. 340-349 (2003)
17. Hill, P., Gallagher, J.: Meta-programming in logic programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford Science Publications, vol. 5, pp. 421-497. Oxford University Press, London (1998)
18. Jajodia, S., Samarati, P., Sapino, M., Subrahmanian, V.: Flexible support for multiple access control policies. ACM TODS 26(2), 214-260 (2001)
19. Jones, N.D.: Partial evaluation, self-application and types. In: Paterson, M.S. (ed.) Automata, Languages and Programming. LNCS, vol. 443, pp. 639-659. Springer, Berlin (1990)
20. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, New York (1993)
21. Kunen, K.: Signed data dependencies in logic programs. J. Log. Program. 7(3), 231-245 (1989)
22. Lakhotia, A., Sterling, L.: How to control unfolding when specializing interpreters. New Gener. Comput. 8, 61-70 (1990)
23. Leuschel, M.: Homeomorphic embedding for online termination of symbolic methods. In: Mogensen, T.Æ., Schmidt, D., Sudborough, I.H. (eds.) The Essence of Computation-Essays Dedicated to Neil Jones. LNCS, vol. 2566, pp. 379-403. Springer, Berlin (2002)
24. Leuschel, M., Bruynooghe, M.: Logic program specialisation through partial deduction: Control issues. Theory Practice Log. Program. 2(4-5), 461-515 (2002)
25. Leuschel, M., Schreye, D.D.: Creating specialised integrity checks through partial evaluation of meta-interpreters. JLP 36(1), 149-193 (1998)
26. Leuschel, M., Martens, B., De Schreye, D.: Controlling generalisation and polyvariance in partial deduction of normal logic programs. ACM Trans. Program. Lang. Syst. 20(1), 208-258 (1998)
27. Leuschel, M., Craig, S., Bruynooghe, M., Vanhoof, W.: Specializing interpreters using offline partial deduction. In: Bruynooghe, M., Lau, K.-K. (eds.) Program Development in Computational Logic. LNCS, vol. 3049, pp. 341-376. Springer, Berlin (2004)
28. Leuschel, M., Jørgensen, J., VanHoof, W., Bruynooghe, M.: Offline specialisation in Prolog using a hand-written compiler generator. TPLP 4(1), 139-191 (2004)
29. Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)
30. Makholm, H.: On Jones-optimal specialization for strongly typed languages. In: Taha, W. (ed.) Semantics, Applications, and Implementation of Program Generation. LNCS, vol. 1924, pp. 129-148. Springer, Berlin (2000)
31. Martens, B.: On the semantics of meta-programming and the control of partial deduction in logic programming. PhD thesis, K.U. Leuven (February 1994)
32. Martens, B., Gallagher, J.: Ensuring global termination of partial deduction while allowing flexible polyvariance. In: Sterling, L. (ed.) Proceedings ICLP'95, Kanagawa Japan, June 1995, pp. 597-613. MIT Press, Cambridge (1995)
33. NIST: The economic impact of role-based access control. NIST Planning Report 02-01 (2002)
34. Przymusinski, T.: On the declarative semantics of deductive databases and logic programming. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 193-216. Morgan Kaufmann, San Mateo (1988)
35. Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: Proceedings of the ACM SIGMOD International Conference on the Management of Data, Minneapolis, Minnesota, May 1994, pp. 442-453. ACM Press, New York (1994)
36. Sahlin, D.: Mixtus: an automatic partial evaluator for full prolog. New Gener. Comput. 12(1), 7-51 (1993)
37. Sandhu, R., Ferraiolo, D., Kuhn, R.: The NIST model for role-based access control: towards a unified standard. In: Proc. 4th ACM Workshop on Role-Based Access Control, pp. 47-61 (2000)
38. SETA: A marketing survey of civil federal government organizations to determine the need for RBAC security product. SETA Corporation (1996)
39. Vanhoof, W., Martens, B.: To parse or not to parse. In: Fuchs, N. (ed.) Logic Program Synthesis and Transformation, Proceedings of LOPSTR'97, Leuven, Belgium, July 1997. LNCS, vol. 1463, pp. 322-342. Springer, Berlin (1997)