A calculus for access control in distributed systems. (1993)

by M Abadi, M Burrows, B Lampson, G Plotkin
Venue:ACM Transactions on Programming Languages and Systems,