ADsafety：基于类型的JavaScript沙箱验证
编程语言
2015-06-26 v1
摘要
网站通常将来自多个来源的JavaScript程序整合到单个页面中。这些来源必须相互保护，这需要健壮的沙箱化。沙箱的众多入口点以及JavaScript的微妙性要求对实际沙箱源代码进行健壮验证。我们使用一种用于JavaScript的新颖类型系统来编码并验证沙箱化属性。所得的验证器轻量且高效，并在实际源代码上运行。我们通过将我们的技术应用于ADsafe来展示其有效性，这揭示了若干错误和其他弱点。
引用
@article{arxiv.1506.07813,
title = {ADsafety: Type-Based Verification of JavaScript Sandboxing},
author = {Joe Gibbs Politz and Spiridon Eliopoulos and Arjun Guha and Shriram Krishnamurthi},
journal= {arXiv preprint arXiv:1506.07813},
year = {2015}
}
备注
in Proceedings of the USENIX Security Symposium (2011)