"Semantic smells and errors in access control models: a case study in PHP."

François Gauthier, Ettore Merlo (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics