MartÃn Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin. A Calculus for Access Control in Distributed Systems. In Joan Feigenbaum, editor, Advances in Cryptology - CRYPTO 91, 11th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1991, Proceedings. Volume 576 of Lecture Notes in Computer Science, pages 1-23, Springer, 1991. [doi]
Abstract is missing.