Logic based authorization program and its implementation

Chun Ruan; Seyed Shahrestani

doi:10.1145/2070425.2070441

Logic based authorization program and its implementation

Chun Ruan, Seyed Shahrestani

School of Computer, Data & Mathematical Sciences

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

4 Citations (Scopus)

Abstract

In this paper, we describe a logic based authorization program and its implementation. Weighted Delegatable Authorization Program (WDAP) is a logic based framework supporting weighted authorizations and weighted administrative privilege delegations in a decentralised access control system. In this paper we describe various aspects about WDAP and show how it can be used to specify complex security policies. The access control policy is also given. The program SMODELS is a widely used system that implements the answer set semantics for extended logic programs. We show how to use SMODELS to implement WDAP.

Original language	English
Title of host publication	Proceedings of the 4th International Conference on Security of Information and Networks (SIN 2011): Sydney, Australia, 14-19 November 2011
Publisher	ACM
Pages	87-93
Number of pages	7
ISBN (Print)	9781450310208
DOIs	https://doi.org/10.1145/2070425.2070441
Publication status	Published - 2011
Event	International Conference on Security of Information and Networks - Duration: 26 Nov 2013 → …

Conference

Conference	International Conference on Security of Information and Networks
Period	26/11/13 → …

Access to Document

10.1145/2070425.2070441

Cite this

@inproceedings{9910dc1ea5ab4c9581cc637418f41ed7,

title = "Logic based authorization program and its implementation",

abstract = "In this paper, we describe a logic based authorization program and its implementation. Weighted Delegatable Authorization Program (WDAP) is a logic based framework supporting weighted authorizations and weighted administrative privilege delegations in a decentralised access control system. In this paper we describe various aspects about WDAP and show how it can be used to specify complex security policies. The access control policy is also given. The program SMODELS is a widely used system that implements the answer set semantics for extended logic programs. We show how to use SMODELS to implement WDAP.",

author = "Chun Ruan and Seyed Shahrestani",

year = "2011",

doi = "10.1145/2070425.2070441",

language = "English",

isbn = "9781450310208",

pages = "87--93",

booktitle = "Proceedings of the 4th International Conference on Security of Information and Networks (SIN 2011): Sydney, Australia, 14-19 November 2011",

publisher = "ACM",

note = "International Conference on Security of Information and Networks ; Conference date: 26-11-2013",

}

TY - GEN

T1 - Logic based authorization program and its implementation

AU - Ruan, Chun

AU - Shahrestani, Seyed

PY - 2011

Y1 - 2011

N2 - In this paper, we describe a logic based authorization program and its implementation. Weighted Delegatable Authorization Program (WDAP) is a logic based framework supporting weighted authorizations and weighted administrative privilege delegations in a decentralised access control system. In this paper we describe various aspects about WDAP and show how it can be used to specify complex security policies. The access control policy is also given. The program SMODELS is a widely used system that implements the answer set semantics for extended logic programs. We show how to use SMODELS to implement WDAP.

AB - In this paper, we describe a logic based authorization program and its implementation. Weighted Delegatable Authorization Program (WDAP) is a logic based framework supporting weighted authorizations and weighted administrative privilege delegations in a decentralised access control system. In this paper we describe various aspects about WDAP and show how it can be used to specify complex security policies. The access control policy is also given. The program SMODELS is a widely used system that implements the answer set semantics for extended logic programs. We show how to use SMODELS to implement WDAP.

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

UR - http://www.sinconf.org/sin2011/index.htm

U2 - 10.1145/2070425.2070441

DO - 10.1145/2070425.2070441

M3 - Conference Paper

SN - 9781450310208

SP - 87

EP - 93

BT - Proceedings of the 4th International Conference on Security of Information and Networks (SIN 2011): Sydney, Australia, 14-19 November 2011

PB - ACM

T2 - International Conference on Security of Information and Networks

Y2 - 26 November 2013

ER -

Logic based authorization program and its implementation

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this