Can I read Access Control in a Core Calculus of Dependency on EtoBox?
Access Control in a Core Calculus of Dependency by Martín Abadi is a Computer Science article available to read on EtoBox.
What is Access Control in a Core Calculus of Dependency about?
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.
Who reads Access Control in a Core Calculus of Dependency?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Martín Abadi
- Publisher
- ACM
- Published
- 2006
- Language
- EN
- Field
- Computer Science (Physical Sciences)