采用图遍历算法的服务端请求伪造漏洞检测

摘要：

针对基于PHP语言开发的Web应用系统,提出了一种基于图遍历算法的服务端请求伪造漏洞检测和利用方法.通过构建抽象语法树,获取每个文件的数据流信息,进而利用数据流中的传递依赖关系构造全局的代码属性图,使用图遍历算法对生成的代码属性图进行污点分析,得到污点变量的代码传递依赖路径图,最后使用约束求解的方法对路径图中的经过函数信息进行漏洞检测并生成可利用的攻击向量.实验结果表明,这种检测方式相较于传统的静态审计方法能够很好地发现服务端请求伪造漏洞,并能够自动化生成可绕过的攻击向量.

关键词：抽象语法树、代码属性图、污点分析、服务端请求伪造、约束求解

所属期刊栏目：56

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金青年基金No.61602258

在线出版日期：2020-10-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：114-119