Efficient and flexible access control via Jones-optimal logic program specialisation-Reference-Cited by-同舟云学术

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

Published:2008-04-12 Issue:1-2 Volume:21 Page:5-35
ISSN:1388-3690
Container-title:Higher-Order and Symbolic Computation
language:en
Short-container-title:Higher-Order Symb Comput

Author:

Barker Steve,Leuschel Michael,Varea Mauricio

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software

Link

http://link.springer.com/content/pdf/10.1007/s10990-008-9030-8.pdf

Reference39 articles.

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)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Program Specialization as a Tool for Solving Word Equations;Electronic Proceedings in Theoretical Computer Science;2021-09-06

2. Fast offline partial evaluation of logic programs;Information and Computation;2014-04

3. Foundations of Dynamic Access Control;Information Systems Security;2012

4. Personalizing access control by generalizing access control;Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10;2010

5. An investigation of Jones optimality and BTI-universal specializers;Higher-Order and Symbolic Computation;2008-09