Expressive Authorization Policies using Computation Principals-Reference-Cited by-同舟云学术

Expressive Authorization Policies using Computation Principals

Published:2023-05-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Symposium on Access Control Models and Technologies
language:
Short-container-title:

Author:

Gollamudi Anitha¹^ORCID,Chong Stephen²^ORCID

Affiliation:

1. University of Massachusetts Lowell, Lowell, USA

2. Harvard University, Cambridge, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3589608.3593834

Reference23 articles.

1. Mart'in Abadi . 2006. Access Control in a Core Calculus of Dependency. In 11textsuperscriptth ACM SIGPLAN Int'l Conf. on Functional Programming . ACM , New York, NY, USA . Mart'in Abadi. 2006. Access Control in a Core Calculus of Dependency. In 11textsuperscriptth ACM SIGPLAN Int'l Conf. on Functional Programming. ACM, New York, NY, USA.

2. Mart'in Abadi , Anindya Banerjee , Nevin Heintze , and Jon G. Riecke . 1999. A Core Calculus of Dependency . In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ( San Antonio, Texas, USA) (POPL '99). ACM. Mart'in Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. 1999. A Core Calculus of Dependency. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Antonio, Texas, USA) (POPL '99). ACM.

3. A calculus for access control in distributed systems

4. Owen Arden and Andrew C . Myers . 2016 . A Calculus for Flow-Limited Authorization. In 29textsuperscriptth IEEE Symp. on Computer Security Foundations (CSF) . 135--147. http://www.cs.cornell.edu/andru/papers/flac Owen Arden and Andrew C. Myers. 2016. A Calculus for Flow-Limited Authorization. In 29textsuperscriptth IEEE Symp. on Computer Security Foundations (CSF). 135--147. http://www.cs.cornell.edu/andru/papers/flac

5. Henk (Hendrik) Barendregt . 1991 . Self-Interpretations in lambda Calculus. J . Funct. Program. , Vol. 1 (01 1991), 229--233. Henk (Hendrik) Barendregt. 1991. Self-Interpretations in lambda Calculus. J. Funct. Program. , Vol. 1 (01 1991), 229--233.