| | |
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
|
