Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems. - Hannah Quay-de la Vallee; James M. Walsh; William Zimrin; Kathi Fisler; Shriram Krishnamurthi (Onward!, 2013)