Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

LICS
2003
IEEE

favoriteEmaildiscussreport

139views Automated Reasoning» more LICS 2003»

Logic in Access Control

13 years 9 months ago

Logic in Access Control

Download users.soe.ucsc.edu

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.

Martín Abadi

Real-time Traffic

Access Control | Computer Science | LICS 2003 | Logical Foundations | Logical Ideas |

claim paper

Related Content

» A Modal Deconstruction of Access Control Logics

» A constructive conditional logic for access control a preliminary report

» Logic in Access Control Tutorial Notes

» Processing Logical Access Control Command in Computer System

» A LogicBased Access Control Approach For Web Services

» Using Description Logics in Relation Based Access Control

» Variations in Access Control Logic

» Algebra and logic for access control

» A Logical Approach to Dynamic RoleBased Access Control

Post Info
More Details (n/a)

Added	05 Jul 2010
Updated	05 Jul 2010
Type	Conference
Year	2003
Where	LICS
Authors	Martín Abadi

Comments (0)