A Logical Framework for Reasoning About Delegation Policies in Workflow Management Systems

International Journal of Information and Computer Security - United Kingdom
doi 10.1504/ijics.2011.044825