Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Modal Deconstruction of Access Control Logics
 

Summary: A Modal Deconstruction of
Access Control Logics
Deepak Garg1
and Mart´in Abadi2,3
1
Carnegie Mellon University
2
University of California, Santa Cruz
3
Microsoft Research, Silicon Valley
Abstract. We present a translation from a logic of access control with
a "says" operator to the classical modal logic S4. We prove that the
translation is sound and complete. We also show that it extends to logics
with boolean combinations of principals and with a "speaks for" relation.
While a straightforward definition of this relation requires second-order
quantifiers, we use our translation for obtaining alternative, quantifier-
free presentations. We also derive decidability and complexity results for
the logics of access control.
1 Introduction
In computer systems, access control checks restrict the operations that users, ma-

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences