SRC Research Report 70

A Calculus for Access Control in Distributed Systems

M. Abadi, M. Burrows, B. Lampson, G. Plotkin

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 access control lists, and theories for deciding whether requests should be granted.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 112 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 88 Kbytes
  
• PostScript compressed with ZIP -- 89 Kbytes
  
• PostScript -- 296 Kbytes
  
• Portable Document Format (PDF) -- 296 Kbytes