Incorporating dynamic constraints in the flexible authorization framework

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3193, Issue , 2004, Pages 1-16

  Chen, Shiping ^a   Wijesekera, Duminda ^a   Jajodia, Sushil ^a  

^a George Mason University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHORIZATION; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT PROGRAMMING;

ACCESS CONTROL POLICIES; AUTHORIZATION FRAMEWORKS; CONSTRAINT LOGIC PROGRAMMING; DYNAMIC CONSTRAINTS; INTEGRAL PART; POLICY FRAMEWORK; POWER; PROPERTY; RUNTIMES; STATIC CONSTRAINTS;

COMPUTER CIRCUITS;

EID: 35048824515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30108-0_1     Document Type: Article

References (25)

1. G. Ahn and R. Sandhu. Role-based authorization constraints specification. ACM Transactions on Information and Systems Security, 3(4):207-226, November 2000.
2. K. R. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufmann, 1988.
3. C. Baral and V. S. Subrahmanian. Stable and extension class theory for logic programs and default theories. Journal of Automated Reasoning, 8(3):345-366, June 1992.
4. S. Barker and P. Stuckey. Flexible access control policy specification with constraint logic programming. ACM Transactions on Information and System Security, 6(4):501-546, 2004.
5. E. Bertino and V. Atluri. The specification and enforcement of authorization constraints in workflow management. ACM Transactions on Information Systems Security, 2(1):65-104, February 1999.
6. E. Bertino, B. Catania, E. Ferrari, and P. Perlasca. A logical framework for reasoning about access control models. ACM Transactions on Information and System Security, 6(1):71-127, February 2003.
7. D. Chan. Constructive negation based on the completed databases. In R. A. Kowalski and K. A. Bowen, editors, Proc. International Conference on Logic Programming (ICLP), pages 111-125. The MIT Press, 1988.
8. D. Chan. An extension of constructive negation and its application in coroutining. In E. Lusk and R. Overbeek, editors, Proc. North-American Conference on Logic Programming, pages 477-489. The MIT Press, 1989.
9. S. Chen, D. Wijesekera, and S. Jajodia. Incorporating dynamic constraints in the flexible authorization framework. Technical Report CSIS-TR-04-01, Center for Secure Information Systems, George Mason University, June 2004.
10. F. Fages. Constructive negation by pruning. Journal of Logic Programming, 32(2):85-118, 1997.
11. M. Fitting. A kripke-kleene semantics for logic programs. Journal of Logic Programming, 2(4):295-312, 1985.
12. M. Fitting and M. Ben-Jacob. Stratified, weak stratified, and three-valued semantics. Fundamenta Informaticae, Special issue on LOGIC PROGRAMMING, 13(1):19-33, March 1990.
13. F. Francois and G. Roberta. A hierarchy of semantics for normal constraint logic programs. In Algebraic and Logic Programming, pages 77-91, 1996.
14. M. Gelfond and L. Lifschitz. The stable model semantics for logic programming. In Proc. Fifth International Conference and Symposium on Logic Programming, pages 1070-1080, 1988.
15. T. Jaeger. On the increasing importance of constraints. In Proc. of the Fourth Role Based Access Control, pages 33-42, Fairfax, VA, 1999.
16. T. Jaeger, A. Prakash, J. Liedtke, and N. Islam. Flexible control of downloaded executable content. ACM Transactions on Information Systems Security, 2(2):177-228, May 1999.
17. S. Jajodia, P. Samarati, M. L. Sapino, and V. S. Subrahmanian. Flexible support for multiple access control policies. ACM Transactions on Database Systems, 26(2):214-260, June 2001.
18. K. J. Kunen. Negation in logic programming. Journal of Logic Programming, 4(4):298-308, December 1987.
19. M. Nayanchama and S. Osborn. The role graph model and conflict of interest. ACM Transactions on Information and Systems Security, 2(1):3-33, February 1999.
20. S. Osborn, R. Sandhu, and Q. Munawer. Configuring role-based access control to enforce mandatory and discretionary access control policies. ACM Transactions on Information and Systems, 3(2):85-106, May 2000.
21. R. Sandhu, E. Coyne, H. Feinstein, and C. Youman. Role-based access control models. IEEE Computer, 29(2):38-47, Febraury 1996.
22. P. Stuckey. Constructive negation for constraint logic programming. In Logic in Computer Science, pages 328-339, 1991.
23. P. Stuckey. Negation and constraint logic programming. Information and Computation, 118(1):12-33, 1995.
24. A. van Celder. The alternating fixpoint of logic programs with negation. In Proc. 8th ACM Symposium on Principles of Database Systems, pages 1-10, 1989.
25. T. Y. C. Woo and S. S. Lam. Authorizations in distributed systems: A new approach. Journal of Computer Security, 2(2-3):107-136, 1993.