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

Browse the full OOPSLA paper archive.