A logic program solution for conflict authorizations

Authors:
Yun Bai
Affiliations:
School of Computing and Information Technology, University of Western Sydney, NSW, Australia
Venue:
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
Year:
2006

Citing 5
Cited 0

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)
Implementing prioritized logic programming

AI Communications
A logic-based approach for enforcing access control[1]A preliminary version of this paper appears in the Proceedings of the 5th European Symposium on Research in Computer Security (ESORICS’98), Louvain-La-Neuve, Belgium, September 1998 under the title “An Authorization Model and its Formal Semantics”.

Journal of Computer Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

As a security mechanism, authorization is to provide access control to the system resources according to the polices and rules specified by the security strategies. Either by update or in the initial specification, conflicts in authorization is an issue needs to be solved. In this paper, we propose a new approach to solve conflict by using prioritized logic programs and discuss the uniqueness of its answer set. Addressing conflict resolution from logic programming viewpoint and the uniqueness analysis of the answer set provide a novel, efficient approach for authorization conflict resolution.