Abstract
PolicyUpdater is a fully-implemented authorisation 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 access control query evaluations and conditional policy updates by translating the language L policies to a normal logic program in a form suitable for evaluation using the Stable Model semantics. In this paper, we show the underlying mechanisms that make up the PolicyUpdater system, including the theoretical foundation of its formal language, system structure, implementation issues and performance analysis.
| Original language | English |
|---|---|
| Pages (from-to) | 145-165 |
| Number of pages | 21 |
| Journal | International Journal of Information Security |
| Volume | 5 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - Jul 2006 |
Keywords
- PolicyUpdater
- access control
- artificial intelligence
- computer science
- logic programming
- Access control
- Logic programming
- Authorisation
- Policy update
- Artificial intelligence