Answer sets for prioritized logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Flexible support for multiple access control policies
ACM Transactions on Database Systems (TODS)
A logical framework for reasoning about access control models
ACM Transactions on Information and System Security (TISSEC)
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
Authorization in Distributed Systems: A Formal Approach
SP '92 Proceedings of the 1992 IEEE Symposium on Security and Privacy
Implementing prioritized logic programming
AI Communications
Hi-index | 0.00 |
Authorization rules provide access control to information system in order to protect the system from unauthorized, malicious attempt. However, authorization rules need to be updated to reflect system and client's changing requirements. Update causes conflict. In this paper, we propose a new approach to solve conflict by using prioritized logic program. Addressing conflict resolution from logic programming point of view provides a novel, efficient approach for authorization conflict resolution.