Variations in Access Control Logic

Abstract. 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.

• Type: Conference
• Year: 2008
• Where: DEON
• Authors: Martín Abadi
• Keywords: Access Control Logics, Automated Reasoning, DEON 2008, Possible Axioms, Programming-language Theory