Composing Heterogenous Access Policies between Organizations

Manager) & unitin(u,dev-coop) & typeof(o,proj-spec) & ¬signature(o,s’) & role(s’,u,Manager) cando(dev-coop,s,o,+w) role(s,u,Team-Manager) & unitin(u,dev-coop) & typeof(o,proj-spec) & ¬signature(o,s’) & role(s’ [...] constructive denial). cando(dev-coop,s,o,+w) role(s,u,Manager) & unitin(u,dev-coop) & unit(o,u) & typeof(o,proj-spec) & signature(o’,s’) & unit(o’,u) & typeof(o’,proj-design) After adding his comments the sp [...] are as follows: grant(dev-coop,s,o,+a) do(as,s’,o,+a) & unitof(as,Consult) & role(s,u,Tester) & role(s’,u,JuniorConsultant) & unitin(u,dev-coop) & Consult o TestF − If a “consultant” has the right to sign …