A calculus for access control in distributed systems (0)

by M Abadi, M Burrows, B Larnpson, G Plotkin
Venue:in Proceedings of the 6& Computer Securitv Foundations Workshop