Aspect-based enforcement of formal delegation policies | IEEE Conference Publication | IEEE Xplore