HiPoLDS: A security policy language for distributed systems