Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Access Control in a Core Calculus of Dependency
 

Summary: Access Control in a
Core Calculus of Dependency
Mart´in Abadi
Computer Science Department
University of California, Santa Cruz
and
Microsoft Research, Silicon Valley
Abstract
The Dependency Core Calculus (DCC) is an extension of the
computational lambda calculus that was designed in order to
capture the notion of dependency that arises in information-
flow control, partial evaluation, and other programming-
language settings. We show that, unexpectedly, DCC can
also be used as a calculus for access control in distributed
systems. Initiating the study of DCC from this perspective,
we explore some of its appealing properties.
Categories and Subject Descriptors D.4.6 [Operating
Systems]: Security and Protection--Access controls; D.3.1
[Programming Languages]: Formal Definitions and Theory;
F.4.1 [Mathematical Logic and Formal Languages]: Mathe-

  

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

 

Collections: Computer Technologies and Information Sciences