Logic in Access Control

18th Annual IEEE Symposium on Logic in Computer Science (LICS'03) p. 228
Logic in Access Control
Martin Abadi, University of California at Santa Cruz

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2003.1210062
Send link to a friend

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 programming security policies.
Back to Top Additional Information
Citation: Martin Abadi, "Logic in Access Control," lics, p. 228, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003

	Advanced Search
CS Search Google Search