Safety in discretionary access control for logic-based publish-subscribe systems