A Logic for Multi-domain Authorization Considering Administrators | IEEE Conference Publication | IEEE Xplore