零知识条件下面向语言的模糊测试方法研究
结题报告
批准号:
62002361
项目类别:
青年科学基金项目
资助金额:
24.0 万元
负责人:
游伟
依托单位:
学科分类:
网络与系统安全
结题年份:
2023
批准年份:
2020
项目状态:
已结题
项目参与者:
游伟
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
客服二维码
微信扫码咨询
中文摘要
利用模糊测试技术进行软件安全漏洞挖掘是信息安全领域的热点研究问题。对于包含语言解析前端的目标程序而言,模糊测试工具只有生成符合其文法要求的测试用例,才有机会触发隐藏在深层代码路径上的安全漏洞。现有的模糊测试技术在很大程度上依赖测试人员提供目标语言文法结构和有效种子输入文件,难以对文法结构未知或部分文法结构未公开的应用程序进行有效测试。本项目拟对传统的模糊测试流程进行改造,使其适用于面向语言的模糊测试需求。具体而言,对反馈机制进行改进,提出解析器内部状态的观测方案;对变异策略进行重构,提出针对语言文法特性的分阶段变异策略;对筛选规则进行优化,提出基于多综合评价的测试用例筛选规则。在此基础上,设计实现相应的原型系统,以期在零知识条件下对目标程序进行模糊测试,解决当前面向语言的模糊测试的技术局限。
英文摘要
Using fuzzing for vulnerability discovery is a hot research topic in the information security field. For those target programs equipped with language parser, generating grammar-valid test cases is necessary for exposing hidden vulnerabilities in deep program paths. The existing fuzzing techniques are heavily depended on the grammar specification and the valid seed inputs provided by the analysts, which makes them ineffective for those programs whose grammar is unknown or partially undocumented. This research project aims to reform the fuzzing process to make it suitable for the requirement of language fuzzing. Specifically, the feedback mechanism will be improved to observe the parser internal state; the mutation strategy will be reconstructed to be multi-staged; the prioritization rule will be optimized to consider multiple metrics. A prototype system will be designed and implemented, which can be used under zero-knowledge condition, addressing the technical limitation of the state-of-art language fuzzers.
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI:10.11896/jsjkx.221100147
发表时间:2023
期刊:计算机科学
影响因子:--
作者:袁江风;李昊翔;游伟;黄建军;石文昌;梁彬
通讯作者:梁彬
DOI:10.19363/j.cnki.cn10-1380/tn.2022.07.06
发表时间:2022
期刊:信息安全学报
影响因子:--
作者:张羿伟;游伟;梁彬;万欣宇;郭苏越
通讯作者:郭苏越
DOI:10.11896/jsjkx.220500092
发表时间:2023
期刊:计算机科学
影响因子:--
作者:宋文凯;游伟;梁彬;黄建军;石文昌
通讯作者:石文昌
国内基金
海外基金