A Calculus for Access Control in Distributed Systems

A Calculus for Access Control in Distributed Systems (1991)

by M. Abadi , M. Burrows , B. Lampson , G. Plotkin , J. Kohl , C. Neuman , J. Steiner

Citations:

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Calculus for Access Control in Distributed Systems	user correction - Legacy Corrections
AUTHOR NAME	M. Abadi	user correction - Legacy Corrections
AUTHOR NAME	M. Burrows	user correction - Legacy Corrections
AUTHOR NAME	B. Lampson	user correction - Legacy Corrections
AUTHOR NAME	G. Plotkin	user correction - Legacy Corrections
AUTHOR NAME	J. Kohl	user correction - Legacy Corrections
AUTHOR NAME	C. Neuman	user correction - Legacy Corrections
AUTHOR NAME	J. Steiner	user correction - Legacy Corrections
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 access control lists, and theories for deciding whether requests should be granted.	user correction - Legacy Corrections
YEAR	1991	user correction - Legacy Corrections
CITATIONS	0 found	ParsCit 1.0