A logic based approach for dynamic access control

Vino Fernando Crescini; Yan Zhang

doi:10.1007/978-3-540-30549-1_54

A logic based approach for dynamic access control

Vino Fernando Crescini, Yan Zhang

School of Computer, Data & Mathematical Sciences

Western Sydney University

Research output: Contribution to journal › Conference article › peer-review

5 Citations (Scopus)

Abstract

The PolicyUpdater¹ system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use of a logic-based language ℒ to represent the underlying access control policies, constraints and update propositions. The system performs authorisation query evaluations and conditional policy updates by translating the language ℒ to a normal logic program in a form suitable for evaluation using the Stable Model semantics.

Original language	English
Pages (from-to)	623-635
Number of pages	13
Journal	Agents for Games and Simulations II
Volume	3339
DOIs	https://doi.org/10.1007/978-3-540-30549-1_54
Publication status	Published - 2004
Event	17th Australian Joint Conference on Artificial Intelligence, AI 2004: Advances in Artificial Intelligence - Cairns, Australia Duration: 4 Dec 2004 → 6 Dec 2004

Access to Document

10.1007/978-3-540-30549-1_54

Cite this

@article{c07a3450daa94a8bb4aca4500b4d5f28,

title = "A logic based approach for dynamic access control",

abstract = "The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use of a logic-based language ℒ to represent the underlying access control policies, constraints and update propositions. The system performs authorisation query evaluations and conditional policy updates by translating the language ℒ to a normal logic program in a form suitable for evaluation using the Stable Model semantics.",

author = "Crescini, {Vino Fernando} and Yan Zhang",

year = "2004",

doi = "10.1007/978-3-540-30549-1_54",

language = "English",

volume = "3339",

pages = "623--635",

journal = "Agents for Games and Simulations II",

issn = "0302-9743",

publisher = "Springer",

note = "17th Australian Joint Conference on Artificial Intelligence, AI 2004: Advances in Artificial Intelligence ; Conference date: 04-12-2004 Through 06-12-2004",

}

TY - JOUR

T1 - A logic based approach for dynamic access control

AU - Crescini, Vino Fernando

AU - Zhang, Yan

PY - 2004

Y1 - 2004

N2 - The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use of a logic-based language ℒ to represent the underlying access control policies, constraints and update propositions. The system performs authorisation query evaluations and conditional policy updates by translating the language ℒ to a normal logic program in a form suitable for evaluation using the Stable Model semantics.

AB - The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use of a logic-based language ℒ to represent the underlying access control policies, constraints and update propositions. The system performs authorisation query evaluations and conditional policy updates by translating the language ℒ to a normal logic program in a form suitable for evaluation using the Stable Model semantics.

UR - http://www.scopus.com/inward/record.url?scp=22944473977&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-30549-1_54

DO - 10.1007/978-3-540-30549-1_54

M3 - Conference article

AN - SCOPUS:22944473977

SN - 0302-9743

VL - 3339

SP - 623

EP - 635

JO - Agents for Games and Simulations II

JF - Agents for Games and Simulations II

T2 - 17th Australian Joint Conference on Artificial Intelligence, AI 2004: Advances in Artificial Intelligence

Y2 - 4 December 2004 through 6 December 2004

ER -

A logic based approach for dynamic access control

Abstract

Access to Document

Other files and links

Fingerprint

Cite this