Abstract
Authorizations or access control is an essential security mechanism to protect computer systems from unauthorized access or malicious attempt. A powerful authorization rules enforced to computer systems can provide better security to the systems. However conflicts in authorization specification is an issue needs to be solved. In this paper, we propose a logic specification for authorization rules and a new approach to solve conflict by using prioritized logic programs. We also discuss the uniqueness of the 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.
| Original language | English |
|---|---|
| Journal | WSEAS Transactions on Computers |
| Publication status | Published - 2006 |
Keywords
- access control
- conflict resolution
- formal authorization specification
- prioritized logic program
- security