【摘 要】
：
从强脆弱性的本质、分析和利用3个方面对强脆弱性进行了剖析.首先给出了强脆弱性定义,提出了程序存在强脆弱性的必要条件和充分条件,并证明了不存在万能的强脆弱性检测程序;
【机 构】
：
清华大学计算机科学与技术系,信息安全测评认证中心
【基金项目】
：
国家自然科学基金No.60473083
论文部分内容阅读
从强脆弱性的本质、分析和利用3个方面对强脆弱性进行了剖析.首先给出了强脆弱性定义,提出了程序存在强脆弱性的必要条件和充分条件,并证明了不存在万能的强脆弱性检测程序;其次,提出了判断程序存在强脆弱性的3条基本依据和利用回溯分析进行强脆弱性分析的基本方法,证明了回溯分析时间复杂度符合指数函数增长规律且至少为O（2h）;最后,将强脆弱性利用归结为强脆弱性方程组求解问题,并给出了利用相对可控、广义方程和VC分解对强脆弱性方程组进行求解的相应算法.并且对Office系列软件的两个强脆弱性进行了分析和计算.
其他文献
镇水塔处于地质滑坡地段,南临16.5米高的崖头,沟底常年雨水冲刷,经对涿鹿县镇水塔建筑本体的现存状况及有关文献进行调查、勘测和残损现况原因针对性具体分析的基础上,提出对
我刊2018年第34卷第5期发表的《黄芪多糖铁制备及表征》中遗漏了项目基金“大同市科技局应用基础研究计划项目[No.2018153]”,特此补充更正。
不久前，我在加拿大多伦多市学习了两个月。外教Lorna给我们教授的是Drama这一课程．她在课堂上开展了许多有趣的活动，深深吸引了我们。现撷取几个对我们小学英语课堂有所帮助的活
1.宗旨与栏目设置《山西大同大学学报(自然科学版)》是山西大同大学主办的自然科学综合性学术刊物(双月刊,国内外发行)。其主要任务是反映山西大同大学的最新科研成果,宗旨是
介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例，分析了为支持程序验证的若干分离逻辑研究进展，包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模
结合川南地区煤质松软、煤层透气性差、瓦斯含量高等特点,开展了基于水射流割缝强化瓦斯抽采、促进煤巷消突的研究,并在兴文县建设煤矿进行了工业试验,通过对煤体扰动效果、
为查明造成甘肃省某奶牛场出血性乳房炎的病因、病原菌及药物敏感性,为该场的本次发病提供有效的防治措施和建议。调查发病情况并采集本场5例患病奶牛的乳样,通过细菌分离、
为了一致而高效地计算包内聚性，许多研究者提出了大量的包内聚性度量方法．然而，这些方法主要依赖于包内部的数据流关系，常导致度量结果与实际开发经验相悖．为了解决这一问题，首先以
近年来大学生校园暴力行为时有发生,这给学生、学校及家庭都造成了非常严重的负面影响。通过查阅大量资料,运用田野调查的方法,对影响大学生校园暴力行为发生的因素进行了深