Report - Delegation Logic: A Logic-based Approach to Distributed ...theory.stanford.edu/~ninghui/papers/dl_tissec03.pdf · REFEREE [11], and SPKI/SDSI [12; 15]. A key feature of these systems

Please pass captcha verification before submit form