Binder, a logic-based security language