HiPoLDS: A hierarchical security policy language for distributed systems