Logic-based reasoning on delegatable authorizations

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

Volumn 2366 LNAI, Issue , 2002, Pages 185-193

  Ruan, Chun ^a   Varadharajan, Vijay ^a   Zhang, Yan ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT SYSTEMS; LOGIC PROGRAMMING; SEMANTICS; XML;

AUTHORIZATION RULES; BASED REASONINGS; CONFLICT RESOLUTION; CONTROLLED DELEGATIONS; INHERITANCE RELATIONSHIPS; MODEL GENERATION; NEGATION AS FAILURES; PARTIAL ORDERING;

COMPUTER CIRCUITS; LOGIC PROGRAMMING;

EID: 84884607699     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48050-1_22     Document Type: Conference Paper

References (5)

1. E. Bertino, F.buccafurri, E.Ferrari, P.Rullo, A logical framework for reasoning on data access control policies. proceedings of the 12th IEEE Computer Society Foundations Workshop, pp.175-189, 1999.
2. J.Crampton, G.Loizou, G.O'Shea A logic of access control. The Computer Journal, vol.44, pp.54-66, 2001.
3. M.Gelfond and V.Lifschitz, Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:pp365-385, 1991.
4. S. Jajodia, P. Samarati, and V.S. Subrahmanian, A logical language for expressing authorizations. Proc. of the 1997 IEEE Symposium on Security and Privacy, pp 31-42, 1997.
5. C. Ruan and V. Varadharajan, Resolving conflicts in authorization delegations. Submitted, 2002.