Logic in Computer Science (LICS 2003)

Invited Talk: Logic in Access Control (at LICS 2003)

Authors: Martín Abadi

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.

BibTeX

  @InProceedings{Abadi-LogicinAccessContro,
    author = 	 {Martín Abadi},
    title = 	 {Logic in Access Control},
    booktitle =  {Proceedings of the Eighteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2003},
    year =	 2003,
    editor =	 {Phokion G. Kolaitis},
    month =	 {June}, 
    pages =      {228},
    location =   {Ottawa, Canada}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }