A practically implementable and tractable delegation logic | IEEE Conference Publication | IEEE Xplore