A calculus for access control in distributed systems

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.

# Access Control and Trust # Social Sciences # Logic, Reasoning, and Knowledge # Computer Science # Advanced Authentication Protocols Security

Martı́n Abadi, Michael T. Burrows, Butler Lampson, et al. (1993). "A calculus for access control in distributed systems". ACM Transactions on Programming Languages and Systems. https://doi.org/10.1145/155183.155225