Logic in Access Control (Tutorial Notes)

Abstract. Access control is central to security in computer systems. Over the
years, there have been many efforts to explain and to improve access control,
sometimes with logical ideas and tools. This paper is a partial survey and discussion
of the role of logic in access control. It considers logical foundations
for access control and their applications, in particular in languages for security
policies. It focuses on some specific logics and their properties. It is intended
as a written counterpart to a tutorial given at the 2009 International School on
Foundations of Security Analysis and Design.

Source: https://users.soe.ucsc.edu/~abadi/Papers/fosad-acllogic.pdf

Advertisements

Logic in Access Control

Access control is central to security in computer systems.
Over the years, there have been many efforts to explain and
to improve access control, sometimes with logical ideas and
tools. This paper is a partial survey and discussion of the
role of logic in access control. It considers logical foundations
for access control and their applications, in particular
in languages for programming security policies.

Source: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.4.7963&rep=rep1&type=pdf