Role-based access control consistency validationPaolina CentonzeGleb Naumovichet al.2006ISSTA 2006Conference paper