电子学报 ›› 2017, Vol. 45 ›› Issue (7): 1775-1783.DOI: 10.3969/j.issn.0372-2112.2017.07.031

• 学术论文 • 上一篇    下一篇

面向资源泄漏的浏览器沙箱测试方法

赵旭1,2, 颜学雄1, 王清贤1, 魏强1, 李继中3   

  1. 1. 解放军信息工程大学网络空间安全学院, 河南郑州 450001;
    2. 63892 部队, 河南洛阳 471003;
    3. 郑州战略投送基地, 河南郑州 450002
  • 收稿日期:2016-01-27 修回日期:2016-06-12 出版日期:2017-07-25
    • 作者简介:
    • 赵旭,男,1986年1月出生,河南三门峡人.2016年在解放军信息工程大学网络空间安全学院获博士学位,研究方向为网络安全、二进制程序分析、漏洞挖掘等.E-mail:zhx0117@sina.cn;颜学雄,男,1975年12月出生,湖南耒阳人.2008年在解放军信息工程大学信息工程学院获博士学位,现为解放军信息工程大学网络空间安全学院副教授,研究方向为网络信息安全、Web应用系统漏洞分析等.E-mail:yanxuexiong@sina.com
    • 基金资助:
    • 国家863高技术研究发展计划 (No.2012AA012902)

A Resource-Leakage Oriented Browser Sandbox Testing Method

ZHAO Xu1,2, YAN Xue-xiong1, WANG Qing-xian1, WEI Qiang1, LI Ji-zhong3   

  1. 1. College of Cyberspace Security PLA Information Engineering University, Zhengzhou, Henan 450002, China;
    2. 63892 Unit, Luoyang, Henan 471003, China;
    3. Strategic Delivery Base, Zhengzhou, Henan 450002, China
  • Received:2016-01-27 Revised:2016-06-12 Online:2017-07-25 Published:2017-07-25
    • Supported by:
    • National High-tech R&D Program of China  (863 Program) (No.2012AA012902)

摘要:

资源泄漏是导致浏览器沙箱逃逸的重要缺陷之一,已有浏览器沙箱测试方法不完全适用于发现资源泄漏缺陷.基于大多数导致沙箱逃逸的资源具有相同或相似属性取值的分析,本文提出了一种面向资源泄漏的浏览器沙箱测试方法.该方法首先分析并约简敏感资源的属性来生成资源筛选规则;其次,定义资源与资源筛选规则前件的最大加权语义相似度为逃逸指数,并使用逃逸指数阈值来筛选测试资源;再次,设计并实现了原型系统BSTS(Browser Sandbox Testing System),并在BSTS内分析了方法的性能.进一步,选择多个主流浏览器沙箱来测试本文方法的资源泄漏发现能力,实验结果显示本文方法具有良好的资源泄漏发现能力.

关键词: 浏览器沙箱, 资源泄漏, 粗糙集理论, 语义匹配

Abstract:

Resource leakage is one of the important defects of sandbox escape.The existing browser sandbox testing methods are insufficient to discovery leak resources.Based on most leaking resources have same or similar attribute values,this paper designed a resource-leakage oriented browser testing method.The method firstly analyzes resources attributes and create resource selecting rules,secondly,Calculates the escape index of every resource of system and use threshold to select testing resources; thirdly,Design and Implement a prototype system-Browser Sandbox Testing System(BSTS) and analysis the capability of our method,then we select and test some browser sandboxes,in the end,We found an undisclosed resource leakage vulnerability.

Key words: browser sandbox, resource leakage, rough set theory, semantic match

中图分类号: