Language-Based Isolation of Untrusted JavaScript
Language-Based Isolation of Untrusted JavaScript
复制标题
基于语言的不可信 JavaScript 隔离
DOI：
10.1109/csf.2009.11
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Maffeis S
中科院分区：
文献类型：
--
作者：
Maffeis S
包含不受信任内容的网站可能会使用基于浏览器或语言的方法来防止此类内容恶意更改页面、窃取敏感信息或造成其他伤害。我们研究基于语言的过滤和重写JavaScript代码的方法，使用Yahoo！ADSafe和Facebook FBJS作为激励的例子。我们通过描述以前未知的漏洞和微妙之处来解释核心问题，并基于完整ECMA-262语言的操作语义为改进的解决方案奠定基础。我们还讨论了如何应用我们的分析来解决我们发现的JavaScript隔离问题。
Web sites that incorporate untrusted content may use browser- or language-based methods to keep such content from maliciously altering pages, stealing sensitive information, or causing other harm. We study language-based methods for filtering and rewriting JavaScript code, using Yahoo! ADSafe and Facebook FBJS as motivating examples. We explain the core problems by describing previously unknown vulnerabilities and subtleties, and develop a foundation for improved solutions based on an operational semantics of the full ECMA-262 language. We also discuss how to apply our analysis to address the JavaScript isolation problems we discovered.
登录
查看更多内容
DOI：
--
发表时间：
2009
期刊：
IEEE Computer Security Foundations Symposium
影响因子：
--
作者：
Aslan Askarov;A. Sabelfeld
通讯作者：
A. Sabelfeld
JavaScript 的操作语义
DOI：
--
发表时间：
2008
期刊：
Asian Symposium on Programming Languages and Systems
影响因子：
--
作者：
S. Maffeis;John C. Mitchell;Ankur Taly
通讯作者：
Ankur Taly
DOI：
10.1007/978-3-540-31987-0_28
发表时间：
2005-04
期刊：
--
影响因子：
--
作者：
Peter Thiemann
通讯作者：
Peter Thiemann
Emily：一种实现安全合作的高性能语言
DOI：
--
发表时间：
2007
期刊：
Conference on Creating, Connecting and Collaborating through Computing
影响因子：
--
作者：
M. Stiegler
通讯作者：
M. Stiegler
JavaScript 十年
DOI：
--
发表时间：
2005
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
Brendan Eich
通讯作者：
Brendan Eich