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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.