Thomas Y. C. Woo, Simon S. Lam. Authorization in distributed systems: a formal approach. In 1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992. pages 33-50, IEEE Computer Society, 1992. [doi]
Abstract is missing.