A stratified first order logic approach for access control

International Journal of Intelligent Systems

Volumn 19, Issue 9, 2004, Pages 817-836

  Benferhat, Salem ^a   El Baida, Rania ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONFLICTS; INFORMATION SYSTEMS; LOGIC APPROACH; ROLE-BASED ACCESS CONTROL (RBAC);

COMPUTER SIMULATION; DATA PRIVACY; ENCODING (SYMBOLS); INFORMATION MANAGEMENT; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; SECURITY OF DATA;

FORMAL LOGIC;

EID: 4444354200     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/int.20026     Document Type: Article

References (28)

1. Gavrila SI, Barkley JF. Formal specification for role based access control user/role and role/role relationship management. In: Jaeger T, editor. Proc Third ACM Workshop on Role-Based Access Control. New York: ACM Press; 1998. pp 81-90.
2. Georgiadis CK, Mavridis I, Pangalos G, Thomas RK. Flexible Team-based access control using contexts. In: Jaeger T, editor. Proc SACMAT'01. New York: ACM Press; 2001. pp 21-27.
3. Sandhu RS, Coyne EJ, Feinstein HL, Youman CE. Role-based access control models. IEEE Comput 1996;29:38-47.
4. Thomas R, Sandhu R. Task-based authorization controls (TBAC): A family of models for active and enterprise-oriented authorization management. In: Proc 11th IFIP Working Conf on Database Security. London: Chapman and Hall, Ltd. pp 166-181.
5. Thomas RK. TMAC: A primitive for applying RBAC in collaborative environment. In: Coyne E, editor. Proc 2nd ACM Workshop on RBAC. New York: ACM Press; 1997. pp 13-19.
6. Wilikens W, Feriti S, Masera M. A context-related authorization access control method based on RBAC: A case study from the healthcare domain. In: Bertino E, editor. Proc SACMAT'02. New York: ACM Press; 2002. pp 117-124.
7. Moffett JD, Sloman MS. Policy conflict analysis in distributed systems management. J Org Comp 1994;4:1-22.
8. Bertino E, Jajodia S, Samarati P. Supporting multiple access control policies in database systems. In: IEEE Symp on Security and Privacy. IEEE Computer Society; 1996. pp 94-107.
9. Dinolt G, Benzinger L, Yatabe M. Combining components and policies. In: Proc. Computer Security Foundations Workshop VII. IEEE Computer Society; 1994. pp 22-33.
10. Benferhat S, Cayrol C, Dubois D, Lang J, Prade H. Inconsistency management and prioritized syntax-based entailment. In: Bajcsy R, editor. Proc IJCAF93. San Franciso, CA: Morgan Kaufmann; 1993. pp 640-645.
11. Brewka G. Preferred subtheories: An extended logical framework for default reasoning. In: Sridharan NS, editor. Proc IJCAI'89. San Francisco, CA: Morgan Kaufmann; 1989. pp 1043-1048.
12. Nebel B. Base revision operator and schemes: Semantics representation and complexity. In: Cohn AG, editor. Proc 11th European Conf on Artificial Intelligence. John Wiley and Sons; 1994. pp 341-345.
13. Rescher N, Manor R. On inference from inconsistent premises. Theor Decis 1970;1: 179-217.
14. Williams M. A practical approach to belief revision: Reason-based change. In: Aiello LC, Doyle J, Shapiro S, editors. Proc KR'96. San Francisco, CA: Morgan Kaufmann; 1996. pp 412-421.
15. Lehmann D. Another perspective on default reasoning. Ann Math Artif Intell 1995; 15: 61-82.
16. Gärdenfors P. Knowledge in flux: Modeling the dynamic of episternic states. Cambridge, MA: The MIT Press; 1988.
17. Pearl J. System Z: A natural ordering of defaults with tractable applications to default reasoning. In: Parikh R, editor. Proc TARK'90. San Francisco, CA: Morgan Kaufmann; 1990.
18. Benferhat S, Dubois D, Prade H. Nonmonotonic reasoning, conditional objects and possibility theory. Artif Intell J 1997;92:259-276.
19. Baral C, Kraus S, Minker J, Subrahmanian VS. Combining knowledge bases consisting in first order theories. Comput Intell 1992;8:45-71.
20. Benferhat S, Dubois D, Prade H. How to infer from inconsistent beliefs without revising? In: Mellish CS, editor. Proc IJCAI'95. San Francisco, CA: Morgan Kaufmann; 1995. pp 1449-1455.
21. Del Val A. On the relation between the coherence and foundation theories of belief revision. In: Hayes-Roth B, Korf RE, editors. Proc. AAAI'94. Menlo Park, CA: AAAI Press; 1994. pp 909-914.
22. Dubois D, Lang J, Prade H. Possibilistic logic. In: Gabbay DM, Hogger CJ, Robinson JA, editors. Handbook of logic in artificial intelligence and logic programming. Oxford: Clarendon Press; 1994. Vol 3, pp 439-513.
23. Lang J. Possibilistic logic: Complexity and algorithms. In: Algorithms for uncertainty and defeasible reasoning. Dordrecht, The Netherlands: Kluwer Academic Publishers; 2001. pp 179-220.
24. Benferhat S, Kaci S, Le Berre D, Williams M. Weakening conflicting information for iterated revision and knowledge integration. In: Nebel B, editor. Proc IJCAI'01. San Francisco, CA: Morgan Kaufmann; 2001. pp 109-118.
25. Coste-Marquis S, Marquis P. Compiling stratified belief bases. In: Horn W, editor. ECAI2000. IOS Press; 2000. pp 23-27.
26. Darwiche A, Marquis P. Compilation of prepositional weighted bases. In: Benferhat S, Giunchiglia E, editors. NMR'2002.2002. pp 6-14.
27. Lifschitz V. Circumscription. In: Gabbay DM, Hogger CJ, Robinson JA, editors. Handbook of logic in artificial intelligence and logic programming. Oxford: Clarendon Press; 1994. Vol 3, pp 297-352.
28. McCarthy J. Circumscription: A form of nonmonotonic reasoning. Artif Intell 1980;13: 27-39.