Answer Set Programming for Distributed Authorization: The Language, Computations, and Application.

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. [ABSTRACT FROM AUTHOR]