跨站脚本漏洞的白盒测试框架的设计和实现.pdfVIP

CN43—1258／TP 计算机工程与科学 2011年第 33卷第 lO期 ISSN l007—130X COMPUTER ENGINEERING ＆．SCIENCE Vo1．33，NO．10，2011 文章编号 ：1007—130X(2011)100045—06 跨站脚本漏洞的白盒测试框架的设计和实现 DesignandImplementationofaXSS VulnerabilityW hite——boxTestingFramework 冯 锴 。林柏钢 FENG Kai，LIN Bo-gang (福州大学数学与计算机科学学院，福建 福州 350002J (SchoolofMathematicsandComputerScience，FuzhouUniversity，Fuzhou350002，China) 摘 要：伴随着 B／S架构的流行和 Web2．0时代 的迅速发展 ，由于对不可信用户数据缺乏正确 的校 验机制，造成跨站脚本漏洞广泛地存在于各类网站 中，并严重威胁用户安全。其主要原因在 于服务端代码 和客户端脚本的混合 ，使得 当前技术无法准确而有效地生成攻击 向量，探测跨站脚本漏洞。本文基于静 态 数据流特征分析，依据脚本注入位置和攻击向量模式设计 了新的分析模糊器，通过采用字符 串约束求解技 术来验证攻击向量的有效性 ，并实现 了白盒测试框架的原型系统 XSS—Explore。实验结果表明，与 同类工 具相 比，该 系统能够较全面而准确地检测跨站脚本漏洞。 Abstract：W ith the popularityoftheW eb2．0applications。cross—sitescripting vulnerability which cancauseaseriousthreatto thesafety ofusersexistsin awiderangeofwebsites，dueto thelack of properverificationmechanisms．Currently，the mixtureoftheserver—sideand client—sidecodesmakes accurateandeffectivedetectionofcrosssitescriptingvulnerabilitymoredifficult．Inourstudv，basedon astaticdataflow analysiscombinedwithastringconstraintsolving technique，wedesignawhite—box testingframeworkfordetectingcross—sitescriptingvulnerability．W eimplem entourframework inapro— totypetoolcalledXSS—Explore，andtheexperimentalresultsshow thatthesystem canbettergeneratea moreeffectiveattack vectoranddetectcross—sitescriptingattackscomparedwithsimilarproducts ． 关键词 ：web安全；跨站脚本漏洞 ；静态分析 ；模糊器；白盒测试 Keywords：W eb security；XSS；staticanalysis；fuzzing；white—boxtesting doi：10．3969／j．issn．1007—13OX．2011．10．008 中图分类号：TP393．08 文献标识码 ：A 用户数据甚至传播