Answer set programming for distributed authorization: the language, computations, and application

Authors:
Shujing Wang;Yan Zhang
Affiliations:
School of Computing and Information Technology, University of Western Sydney, Australia;School of Computing and Information Technology, University of Western Sydney, Australia
Venue:
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Year:
2005

Citing 4
Cited 0

Delegation logic: A logic-based approach to distributed authorization

ACM Transactions on Information and System Security (TISSEC)
Design of a Role-Based Trust-Management Framework

SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy
Decentralized trust management

SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
A formalization of distributed authorization with delegation

ACISP'05 Proceedings of the 10th Australasian conference on Information Security and Privacy

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we employ Answer Set Programming to deal with many complex issues associated with the distributed authorization along the trust management approach. Using our approach, we can not only express nonmonotonic delegation policies which have not been considered in previous approaches, but also represent the delegation with depth, separation of duty, and positive and negative authorizations. We also investigate basic computational properties related to our approach and discuss a case study to illustrate the application of our approach in a distributed environment.