Alan Karp;Marc Stiegler;Tyler Close
-;-;-
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software