基于异常捕获的强脆弱性分析和利用

• 作者: 冯建华 张金祥 时云峰
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 强脆弱性 回溯分析 相对可控 广义方程 VC分解
• 年，卷（期）: 2010,（11）
• 页码范围: 2944-2958
• 分类号: TP309
• 字数: 12608字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03672

摘要

从强脆弱性的本质、分析和利用3个方面对强脆弱性进行了剖析.首先给出了强脆弱性定义,提出了程序存在强脆弱性的必要条件和充分条件,并证明了不存在万能的强脆弱性检测程序;其次,提出了判断程序存在强脆弱性的3条基本依据和利用回溯分析进行强脆弱性分析的基本方法,证明了回溯分析时间复杂度符合指数函数增长规律且至少为O(2h);最后,将强脆弱性利用归结为强脆弱性方程组求解问题,并给出了利用相对可控、广义方程和VC分解对强脆弱性方程组进行求解的相应算法.并且对Office系列软件的两个强脆弱性进行了分析和计算.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯建华	清华大学计算机科学与技术系	51	794	13.0	27.0
2	时云峰	清华大学计算机科学与技术系	3	6	2.0	2.0
3	张金祥		1	4	1.0	1.0