A Calculus for Access Control in Distributed Systems

Michael Burrows
Butler W. Lampson
Gordon D. Plotkin
CRYPTO (1991), pp. 1-23

Abstract