Information Flow Control for Event Handling and the DOM in Web Browsers
Information Flow Control for Event Handling and the DOM in Web Browsers
复制标题
Web 浏览器中事件处理和 DOM 的信息流控制
DOI：
10.1109/csf.2015.32
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Christian Hammer
中科院分区：
文献类型：
--
作者：
Vineet Rajani;Abhishek Bichhawat;D. Garg;Christian Hammer
网络浏览器通常会处理私人信息。由于安全模型松懈，浏览器和 JavaScript（尤其是 JavaScript）很容易成为泄露敏感数据的目标。先前的工作广泛研究了信息流控制（IFC）作为保护浏览器的机制。然而，Web 浏览器的两个核心方面——文档对象模型 (DOM) 和事件处理机制——迄今为止尚未在 IFC 的背景下进行彻底审查。本文推进了这方面的最新技术。基于标准规范和实际浏览器引擎的代码，我们构建了 DOM（最高 3 级）和典型浏览器的事件处理循环的正式模型，通过细粒度的污点和 IFC 检查来增强模型，证明我们的增强功能是合理的，并通过生产中的浏览器引擎 WebKit 的检测来测试我们的想法。在此过程中，我们观察到由于事件循环及其与 DOM 交互的微妙之处而出现的多个信息泄漏渠道。
Web browsers routinely handle private information. Owing to a lax security model, browsers and JavaScript in particular, are easy targets for leaking sensitive data. Prior work has extensively studied information flow control (IFC) as a mechanism for securing browsers. However, two central aspects of web browsers - the Document Object Model (DOM) and the event handling mechanism - have so far evaded thorough scrutiny in the context of IFC. This paper advances the state-of-the-art in this regard. Based on standard specifications and the code of an actual browser engine, we build formal models of both the DOM (up to Level 3) and the event handling loop of a typical browser, enhance the models with fine-grained taints and checks for IFC, prove our enhancements sound and test our ideas through an instrumentation of WebKit, an in-production browser engine. In doing so, we observe several channels for information leak that arise due to subtleties of the event loop and its interaction with the DOM.
DOI：
10.1145/1111037.1111045
发表时间：
2006-01
期刊：
--
影响因子：
--
作者：
Sebastian Hunt;David Sands
通讯作者：
Sebastian Hunt;David Sands
DOI：
--
发表时间：
2014-10
期刊：
--
影响因子：
--
作者：
D. Stefan;Edward Z. Yang;Petr Marchenko;Alejandro Russo;David Herman;B. Karp;David Mazières
通讯作者：
D. Stefan;Edward Z. Yang;Petr Marchenko;Alejandro Russo;David Herman;B. Karp;David Mazières
基于语言的不可信 JavaScript 隔离
DOI：
10.1109/csf.2009.11
发表时间：
2009
期刊：
--
影响因子：
--
作者：
Maffeis S
通讯作者：
Maffeis S