基于混合符号执行的安全漏洞检测关键技术研究
安全漏洞是计算机系统易遭受黑客攻击的主要根源之一，安全漏洞检测技术是信息安全领域研究和实践工作的核心问题之一,随着对问题研究的深入,新的方法、技术和工具不断出现,一种发展趋势是结合多种经典方法、并综合利用诸多新出现的技术对程序进行安全漏洞检测.其中,一种被称为混合符号执行的轻量级动态符号执行方法尤为值得关注,本文就混合符号执行的历史由来、工作原理及其在安全漏洞检测领域的关键技术进行介绍,并就与此方法相关的热点研究问题进行讨论。
计算机系统 安全漏洞 检测技术 混合符号执行
张俊贤 李舟军
北京航空航天大学,北京100191
国内会议
长沙
中文
1-13
2014-10-16（万方平台首次上网日期，不代表论文的发表时间）