Delegation Logic: A logic-based approach to distributed authorization - Ninghui Li; Benjamin N. Grosof; Joan Feigenbaum; The Pennsylvania State University CiteSeerX Archives (http://crypto.stanford.edu/ ninghui/papers/dl_tissec03.pdf, 2003)