2014 · 14 citations · 16 references
ComputingComputer ScienceCybersecurityApplication SecurityComputer SecurityWeb SecurityBrowser SecurityClient-side SecurityRuntime Application ProtectionWeb Application SecurityWeb Application VulnerabilitiesDynamic Taint AnalysisInformation Flow AnalysisIntermediate Representation DesignJavascriptJavascript SecurityRewrite SystemsSensitive Information ProtectionTaint Detection
This paper presents the design and implementation of an information flow tracking framework based on code rewrite to prevent sensitive information leaks in browsers, combining the ideas of taint and information flow analysis. Our system has two main processes. First, it abstracts the semantic of JavaScript code and converts it to a general form of intermediate representation on the basis of JavaScript abstract syntax tree. Second, the abstract intermediate representation is implemented as a special taint engine to analyze tainted information flow. Our approach can ensure fine-grained isolation for both confidentiality and integrity of information. We have implemented a proof-of-concept prototype, named JSTFlow, and have deployed it as a browser proxy to rewrite web applications at runtime. The experiment results show that JSTFlow can guarantee the security of sensitive data and detect XSS attacks with about 3x performance overhead. Because it does not involve any modifications to the target system, our system is readily deployable in practice.
16
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
Engin Kirda, Christopher Kruegel, Giovanni Vigna et al. · 2006 · 294 citations