unprivileged users. Access controls typically check privileges that capture the semantics of
the operations they protect. Semantic smells and errors in access control models stem from
privileges that are partially or totally unrelated to the action they protect. This paper presents
a novel approach, partly based on static analysis and information retrieval techniques, for
the automatic detection of semantic smells and errors in access control models. Investigation …