全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2010 

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

, PP. 2944-2958

Keywords: 强脆弱性,回溯分析,相对可控,广义方程,vc分解

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133