Variations in Access Control Logic

  • Martín Abadi
Conference paper

DOI: 10.1007/978-3-540-70525-3_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5076)
Cite this paper as:
Abadi M. (2008) Variations in Access Control Logic. In: van der Meyden R., van der Torre L. (eds) Deontic Logic in Computer Science. DEON 2008. Lecture Notes in Computer Science, vol 5076. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Martín Abadi
    • 1
  1. 1.Microsoft ResearchUniversity of CaliforniaSanta Cruz 

Personalised recommendations