A logic based approach for dynamic access control

Authors:
Vino Fernando Crescini;Yan Zhang
Affiliations:
School of Computing and Information Technology, University of Western Sydney, Penrith South DC, NSW, Australia;School of Computing and Information Technology, University of Western Sydney, Penrith South DC, NSW, Australia
Venue:
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Year:
2004

Citing 5
Cited 2

A policy description language

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Flexible support for multiple access control policies

ACM Transactions on Database Systems (TODS)
Delegation logic: A logic-based approach to distributed authorization

ACM Transactions on Information and System Security (TISSEC)
Logic program-based updates

ACM Transactions on Computational Logic (TOCL)
A logic-based approach for enforcing access control[1]A preliminary version of this paper appears in the Proceedings of the 5th European Symposium on Research in Computer Security (ESORICS’98), Louvain-La-Neuve, Belgium, September 1998 under the title “An Authorization Model and its Formal Semantics”.

Journal of Computer Security

Modeling of the role-based access control policy with constraints using description logic

ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
Representation and reasoning on RBAC: a description logic approach

ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The PolicyUpdatersystem 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 $\mathcal{L}$ 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 $\mathcal{L}$ to a normal logic program in a form suitable for evaluation using the Stable Model semantics.