A Calculus for Access Control in Distributed Systems

Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin. A Calculus for Access Control in Distributed Systems. ACM Transactions on Programming Languages and Systems, 15(4):706-734, 1993. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: