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.
| Original language | English |
|---|---|
| Title of host publication | Transactions on Engineering, Computing & Technology : Proceedings of the International Conference on Computer, Information and System Science & Engineering, Bangkok, Thailand, 29-31 January 2007 |
| Publisher | World Informatika Society |
| Number of pages | 5 |
| Publication status | Published - 2007 |
| Event | International Conference on Computer, Information and System Science & Engineering - Duration: 1 Jan 2007 → … |
Conference
| Conference | International Conference on Computer, Information and System Science & Engineering |
|---|---|
| Period | 1/01/07 → … |
Keywords
- specifications
- logic programming
- computer security
- access control