Delegation logic: A logic-based approach to distributed authorization.

Ninghui Li Benjamin N. Grosof Joan Feigenbaum Delegation logic: A logic-based approach to distributed authorization. 128-171 2003 6 ACM Trans. Inf. Syst. Secur. 1 http://doi.acm.org/10.1145/605434.605438 db/journals/tissec/tissec6.html#LiGF03