A Calculus for Access Control in Distributed Systems.

Martn Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin

Browse the full CRYPTO paper archive.