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]

Authors

Martín Abadi

Identified as Martín Abadi
(University of California at Santa Cruz
)

Michael Burrows

This author has not been identified. Look up 'Michael Burrows' in Google

Butler W. Lampson

This author has not been identified. Look up 'Butler W. Lampson' in Google

Gordon D. Plotkin

Identified as Gordon D. Plotkin