loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th Annual IEEE Symposium on Logic in Computer Science (LICS'03)
Logic in Access Control
Ottawa, Canada
June 22-June 25
ISBN: 0-7695-1884-2
ASCII Text
x 
 
Mart? Abadi, "Logic in Access Control," Logic in Computer Science, Symposium on, pp. 228, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/LICS.2003.1210062,
author = {Mart? Abadi},
title = {Logic in Access Control},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {2003},
issn = {1043-6871},
pages = {228},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2003.1210062},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Logic in Computer Science, Symposium on
TI - Logic in Access Control
SN - 1043-6871
SP
EP
A1 - Mart? Abadi,
PY - 2003
KW - null
VL - 0
JA - Logic in Computer Science, Symposium on
ER -
 
Mart? Abadi, University of California at Santa Cruz
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.
Citation:
Mart? Abadi, "Logic in Access Control," lics, pp.228, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.