删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

WebView组件漏洞自动化检测与验证方法

本站小编 Free考研考试/2021-12-21

本文二维码信息
二维码(扫一下试试看!)
WebView组件漏洞自动化检测与验证方法
An Automated Detection and Verification Method for WebView Component Vulnerabilities
投稿时间:2017-07-25
DOI:10.15918/j.tbit1001-0645.2017.359
中文关键词:移动安全漏洞检测静态分析动态验证
English Keywords:mobile securityvulnerability detectionstatic analysisdynamic verification
基金项目:国家自然科学基金资助项目(61672534);NSFC-通用技术联合基金资助项目(U1636115)
作者单位
王嘉捷中国信息安全测评中心 北京 100085
刘建鑫中国信息安全测评中心 北京 100085
中国科学技术大学 安徽, 合肥 230026
马宇飞中国科学技术大学 安徽, 合肥 230026
邵帅中国信息安全测评中心 北京 100085
张普含中国信息安全测评中心 北京 100085
摘要点击次数:717
全文下载次数:214
中文摘要:
Android系统WebView组件应用广泛,相关漏洞危害大、影响广,但现有依赖静态匹配敏感函数的检测方法存在漏洞误报率高等问题.为此,本文提出了基于静态分析与动态验证技术融合的WebView组件漏洞自动化检测与验证方法,通过对漏洞可疑点进行可达性分析,避免对不可达路径的无效动态遍历,提高了分析效率;将数据依赖分析与模拟真实攻击行为的动态验证相结合,及时判断漏洞触发的真实性,降低了误报率.已实现原型工具XWebViewDigger并测试了80个Android应用,检出并验证18个应用存在漏洞,与现有方法相比,误报率有效降低.
English Summary:
With Android WebView component widely used, its vulnerabilities will cause significant risks, but current detection methods which rely on static pattern matching have high rate of false positives. Therefore this paper proposes an automatic detection and verification method for WebView component vulnerabilities, based on static analysis and dynamic verification combination. The reachability analysis of vulnerable suspicious points was used to avoid the futile dynamic verification of invalid paths, for improving analysis efficiency. The data dependency analysis was combined with the dynamic verification that can simulate real attack behaviors to trigger and confirm vulnerabilities timely, for reducing false positives. The prototype tool XWebViewDigger has been developed and tested on 80 real Android applications, with 18 vulnerable applications detected and verified. Compared with current methods, the false positive rate was effectively reduced.
查看全文查看/发表评论下载PDF阅读器
相关话题/北京 中国科学技术大学 安徽 自动化 中文