导读:本文包含了证明树论文开题报告文献综述及选题提纲参考文献，主要关键词:注入漏洞,数据库操作,反演
证明树论文文献综述
王清,郑庆华,管晓宏,张哲菲[1]（2007）在《一种基于证明树反演的安全漏洞定位方法》一文中研究指出针对Web应用中普遍存在SQL注入漏洞等问题,提出了一种基于证明树反演的漏洞定位方法.该方法可对攻击产生的根源直接进行源代码的漏洞挖掘,其核心思想是:通过在脚本中反向追踪数据库操作所涉及的变量来检验其是否受到外界的影响,从而达到控制数据库操作的安全隐患.实验结果表明,所提方法能够准确验证53.8%的数据库操作的安全性,对于不能做出自动判定的风险操作,则能给出变量的依赖关系.该方法适用于以各种脚本语言和数据库系统搭建的Web应用平台.(本文来源于《西安交通大学学报》期刊2007年04期）
邹伟松[2]（2002）在《从归结证明树抽取程序》一文中研究指出对于形如((?)x)((?)y)P(x，y)的定理证明问题，利用归结原理可以回答其是否为真，而对于“对每个确定的x，y的值是什么?”这一经典的证明论问题，归结原理则无能为力。有许多人研究从归结证明树确定y的值的方法。比较有代表性的是Green的方法和Luckham的方法。但由于他们的方法都不是从分析归结证明过程出发的，所以他们的方法存在许多局限性。 在这篇论文中，我们主要做了如下两项工作：第一，对于形如((?)x)((?)y)P(x，y)的定理证明问题，本文从分析归结证明树中的每个节点入手，提取归结证明的过程信息，生成一个程序。并且证明了抽取出的程序一定是部分正确的。这一方法的特点是，抽取算法的时间、空间复杂度都是线性的，并且抽取算法本身十分简单，易于实现。第二，对于形如((?)x)((?)y)((?)z)P(x，y，z)的定理证明问题，归结证明树中一定包含Skolem函数，而由这样的定理证明树中抽取出的程序就有可能包含Skolem函数。本文给出了是否能抽取出无Skolem函数的程序的充分必要条件，同时给出了抽取算法。(本文来源于《大连理工大学》期刊2002-03-01）
郭瑞标,蒋庆培[3]（1988）在《证明树简化的实现》一文中研究指出本文讨论了证明树简化中的冗余例示及处理问题,重点介绍了一个实用的证明树简化算法。 通常,知识系统中的推理路径用证明树来表示,证明树中结点的重要程度,随不同的用户各不相同,将树中的一些不重要结点删去,对相应的父结点的规则体作些修改,可向(本文来源于《计算机学报》期刊1988年10期）
证明树论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
对于形如((?)x)((?)y)P(x，y)的定理证明问题，利用归结原理可以回答其是否为真，而对于“对每个确定的x，y的值是什么?”这一经典的证明论问题，归结原理则无能为力。有许多人研究从归结证明树确定y的值的方法。比较有代表性的是Green的方法和Luckham的方法。但由于他们的方法都不是从分析归结证明过程出发的，所以他们的方法存在许多局限性。 在这篇论文中，我们主要做了如下两项工作：第一，对于形如((?)x)((?)y)P(x，y)的定理证明问题，本文从分析归结证明树中的每个节点入手，提取归结证明的过程信息，生成一个程序。并且证明了抽取出的程序一定是部分正确的。这一方法的特点是，抽取算法的时间、空间复杂度都是线性的，并且抽取算法本身十分简单，易于实现。第二，对于形如((?)x)((?)y)((?)z)P(x，y，z)的定理证明问题，归结证明树中一定包含Skolem函数，而由这样的定理证明树中抽取出的程序就有可能包含Skolem函数。本文给出了是否能抽取出无Skolem函数的程序的充分必要条件，同时给出了抽取算法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
证明树论文参考文献
[1].王清,郑庆华,管晓宏,张哲菲.一种基于证明树反演的安全漏洞定位方法[J].西安交通大学学报.2007
[2].邹伟松.从归结证明树抽取程序[D].大连理工大学.2002
[3].郭瑞标,蒋庆培.证明树简化的实现[J].计算机学报.1988