A Logic Based Approach for Dynamic Access Control

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 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 L to a normal logic program in a form suitable for evaluation using the Stable Model semantics.

• Type: Conference
• Year: 2004
• Where: AUSAI
• Authors: Vino Fernando Crescini, Yan Zhang
• Keywords: Access Control, Artificial Intelligence, AUSAI 2004, Dynamic Policy Updates, Policy Updates