Jacques Wainer Akhil Kumar Paulo Barthelmess DW-RBAC: A formal security model of delegation and revocation in workflow systems. 365-384 2007 32 Inf. Syst. 3 http://dx.doi.org/10.1016/j.is.2005.11.008 db/journals/is/is32.html#WainerKB07