Title :
Logic in access control
Author_Institution :
California Univ., Santa Cruz, CA, USA
Abstract :
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and 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.
Keywords :
authorisation; logic programming; security of data; access control; computer system; distributed system; logic role; logical foundation; logical idea; logical tool; partial discussion; partial survey; programming policy; programming security policy; Access control; Application software; Authorization; Computer security; Logic programming; Machinery; Multivalued logic; Operating systems; Pervasive computing; Virtual machining;
Conference_Titel :
Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on
Print_ISBN :
0-7695-1884-2
DOI :
10.1109/LICS.2003.1210062
