Towards a Formal Foundation of Web Security Product Labels for Mobile Application Markets Devdatta Akhawe and Matthew Finifter University of California, Berkeley {dev,finifter}@cs.berkeley.edu…
