In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms come from modal logic and programming-language theory; others are suggested by ideas from security, such as delegation of authority and the Principle of Least Privilege. We compare these axioms and study their implications. © 2008 Springer-Verlag.
CITATION STYLE
Abadi, M. (2008). Variations in access control logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5076 LNAI, pp. 96–109). https://doi.org/10.1007/978-3-540-70525-3_9
Mendeley helps you to discover research relevant for your work.