A logic-based knowledge representation for authorization with delegation | IEEE Conference Publication | IEEE Xplore