Affiliation:
1. 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.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Flow-limited authorization for consensus, replication, and secret sharing1;Journal of Computer Security;2023-10-13
2. Expressive Authorization Policies using Computation Principals;Proceedings of the 28th ACM Symposium on Access Control Models and Technologies;2023-05-24
3. Applying consensus and replication securely with FLAQR;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08
4. First-Order Logic for Flow-Limited Authorization;2020 IEEE 33rd Computer Security Foundations Symposium (CSF);2020-06
5. Proof-Carrying Network Code;Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security;2019-11-06