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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bertino, E., Buccafurri, F., Ferrari, E., Rullo, P.: A Logic-based Approach for Enforcing Access Control. Journal of Computer SecurityĀ 8(2-3), 109ā140 (2000)
Bertino, E., Mileo, A., Provetti, A.: Policy Monitoring with User-Preferences in PDL. In: Proceedings of IJCAI 2003 Workshop for Nonmonotonic Reasoning, Action and Change, pp. 37ā44 (2003)
Chomicki, J., Lobo, J., Naqvi, S.: A Logic Programming Approach to Conflict Resolution in Policy Management. In: Proceedings of KR 2000, 7th International Conference on Principles of Knowledge Representation and Reasoning, pp. 121ā132. Kaufmann, San Francisco (2000)
Crescini, V.F., Zhang, Y.: PolicyUpdater - A System for Dynamic Access Control (2004) (manuscript)
Halpern, J.Y., Weissman, V.: Using First-Order Logic to Reason About Policies. In: Proceedings of the 16th IEEE Computer Security Foundations Workshop, pp. 187ā201 (2003)
Jajodia, S., Samarati, P., Sapino, M.L., Subrahmanian, V.S.: Flexible Support for Multiple Access Control Policies. ACM Transactions on Database SystemsĀ 29(2), 214ā260 (2001)
Li, N., Grosof, B.N., Feigenbaum, J.: Delegation Logic: A Logic-based Approach to Distributed Authorization. ACM Transactions on Information and System SecurityĀ 6(1), 128ā171 (2003)
Lobo, J., Bhatia, R., Naqvi, S.: A Policy Description Language. In: Proceedings of AAAI 16th National Conference on Artificia l Intelligence and 11th Conference on Innovative Applications of Artificial Intelligence, pp. 291ā298. AAAI Press, Menlo Park (1999)
Simons, P.: Efficient Implementation of the Stable Model Semantics for Normal Logic Programs
Zhang, Y.: Logic Program Based Updates. ACM Transactions on Computational Logic (2004) (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Crescini, V.F., Zhang, Y. (2004). A Logic Based Approach for Dynamic Access Control. In: Webb, G.I., Yu, X. (eds) AI 2004: Advances in Artificial Intelligence. AI 2004. Lecture Notes in Computer Science(), vol 3339. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30549-1_54
Download citation
DOI: https://doi.org/10.1007/978-3-540-30549-1_54
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24059-4
Online ISBN: 978-3-540-30549-1
eBook Packages: Computer ScienceComputer Science (R0)