A calculus for access control in distributed systems-Reference-Cited by-同舟云学术

A calculus for access control in distributed systems

Published:1993-09 Issue:4 Volume:15 Page:706-734
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Abadi Martín¹,Burrows Michael¹,Lampson Butler¹,Plotkin Gordon²

Affiliation:

1. Digital Equipment Corp., Palo Alto, CA

2. Univ. of Edinburgh, Edinburgh, Scotland, UK

Abstract

We study some of the concepts, protocols, and algorithms for access control in distributed systems, from a logical perspective. We account for how a principal may come to believe that another principal is making a request, either on his own or on someone else's behalf. We also provide a logical language for accesss control lists and theories for deciding whether requests should be granted.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

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

Reference26 articles.

1. A logical view of composition

2. Authentication and delegation with smart-cards

Cited by 273 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Artemis: Defanging Software Supply Chain Attacks in Multi-repository Update Systems;Annual Computer Security Applications Conference;2023-12-04

2. Data-Dependent Confidentiality in DCR Graphs;International Symposium on Principles and Practice of Declarative Programming;2023-10-22

3. Expressive Authorization Policies using Computation Principals;Proceedings of the 28th ACM Symposium on Access Control Models and Technologies;2023-05-24

4. A Depth-Bounded Semantics for Becoming Informed;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023

5. Policy Transparency;Proceedings of the 2022 ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses;2022-11-08