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

Shujing Wang; Yan Zhang; Ray Jarvis; Shichao Zhang

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

Shujing Wang, Yan Zhang, Ray Jarvis, Shichao Zhang

School of Computer, Data & Mathematical Sciences

Research output: Chapter in Book / Conference Paper › Conference Paper

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.

Original language	English
Title of host publication	Al 2005: Advances in Artificial Intelligence: 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005: Proceedings
Publisher	Springer
Number of pages	4
ISBN (Print)	3540304622
Publication status	Published - 2005
Event	Australasian Joint Conference on Artificial Intelligence - Duration: 1 Dec 2013 → …

Conference

Conference	Australasian Joint Conference on Artificial Intelligence
Period	1/12/13 → …

Keywords

trust management
logic programming
distributed authorization
computer security
access control

Cite this

@inproceedings{762fd73a8d9b42898a19ec26936381b0,

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

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.",

keywords = "trust management, logic programming, distributed authorization, computer security, access control",

author = "Shujing Wang and Yan Zhang and Ray Jarvis and Shichao Zhang",

year = "2005",

language = "English",

isbn = "3540304622",

booktitle = "Al 2005: Advances in Artificial Intelligence: 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005: Proceedings",

publisher = "Springer",

note = "Australasian Joint Conference on Artificial Intelligence ; Conference date: 01-12-2013",

}

Wang, S, Zhang, Y, Jarvis, R & Zhang, S 2005, Answer set programming for distributed authorization : the language, computations and application. in Al 2005: Advances in Artificial Intelligence: 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005: Proceedings. Springer, Australasian Joint Conference on Artificial Intelligence, 1/12/13.

Answer set programming for distributed authorization : the language, computations and application. / Wang, Shujing; Zhang, Yan; Jarvis, Ray et al.
Al 2005: Advances in Artificial Intelligence: 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005: Proceedings. Springer, 2005.

Research output: Chapter in Book / Conference Paper › Conference Paper

TY - GEN

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

AU - Wang, Shujing

AU - Zhang, Yan

AU - Jarvis, Ray

AU - Zhang, Shichao

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

KW - trust management

KW - logic programming

KW - distributed authorization

KW - computer security

KW - access control

UR - http://handle.uws.edu.au:8081/1959.7/40593

M3 - Conference Paper

SN - 3540304622

BT - Al 2005: Advances in Artificial Intelligence: 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005: Proceedings

PB - Springer

T2 - Australasian Joint Conference on Artificial Intelligence

Y2 - 1 December 2013

ER -

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

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this