Authorization in distributed systems: a formal approach.

Thomas Y. C. Woo, Simon S. Lam

Browse the full SP paper archive.