Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  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
Microsoft Research, Silicon Valley
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