2010 · 172 citations · 21 references
ComputingComputer ScienceCybersecurityApplication SecurityComputer SecurityWeb SecurityBrowser SecurityData ProtectionPrivacy PolicyWeb Application SecurityWeb Session HijackingWebsite Traffic AnalysisBrowser ImplementationEmpirical EvaluationJavascriptJavascript SecurityPolicy ParsingPrivacy Leaks In Web ApplicationsPrivacy Threat Analysis
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such flows on a large number of popular websites. We have (1) designed an expressive, fine-grained information flow policy language that allows us to specify and detect different kinds of privacy-violating flows in JavaScript code,(2) implemented a new rewriting-based JavaScript information flow engine within the Chrome browser, and (3) used the enhanced browser to conduct a large-scale empirical study over the Alexa global top 50,000 websites of four privacy-violating flows: cookie stealing, location hijacking, history sniffing, and behavior tracking. Our survey shows that several popular sites, including Alexa global top-100 sites, use privacy-violating flows to exfiltrate information about users' browsing behavior. Our findings show that steps must be taken to mitigate the privacy threat from covert flows in browsers.
21
Security Policies and Security Models
Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations
A lattice model of secure information flow
Dorothy E. Denning · Communications of the ACM · 1976 · 1.9K citations · Full text
Secure program execution via dynamic information flow tracking
G. Edward Suh, Jae Wook Lee, David Zhang et al. · 2004 · 746 citations