zbMATH — the first resource for mathematics

Logical approaches to authorization policies. (English) Zbl 1356.94088
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 349-373 (2012).
Summary: We show how core concepts in access control can be represented in axiomatic terms and how multiple access control models and policies can be uniformly represented as particular logical theories in the axiom system that we introduce. Authorization policies are represented in our framework by using a form of answer set programming. We describe the motivations for our approach and we consider how properties of policies can be proven in our scheme.
For the entire collection see [Zbl 1241.68007].
94A62 Authentication, digital signatures and secret sharing
68N17 Logic programming
PDF BibTeX Cite
Full Text: DOI