Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
GDP Festschrift ENTCS, to appear Access Control in a
 

Summary: GDP Festschrift ENTCS, to appear
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 eval-
uation, 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.
Keywords: Authorization, Types
1 Introduction
The Dependency Core Calculus (DCC) [3] is a small extension of Moggi's compu-
tational lambda calculus [22]. DCC was designed in order to capture the common,
central notion of dependency that arises in information-flow control, partial eval-
uation, call-tracking, and other programming-language settings. The paper that

  

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

 

Collections: Computer Technologies and Information Sciences