Vac - Verifier of administrative role-based access control policies