基于访问控制的动态着色技术在攻击检测中的研究.pdfVIP

第 37卷 第 1期 计 算 机 科 学 Vo1．37No．1 2010年 1月 Computer Science Jan2010 基于访 问控制的动态着色技术在攻击检测 中的研究 王 磊 茅 兵 谢 立 (南京大学软件新技术国家重点实验室 南京 210093) (南京大学计算机科学与技术系 南京210093) 摘 要 内存腐烂攻击在软件安全攻击中占据着较大的比重。近来，动态着色技术得到了越来越多的关注，这种技术 通过在访 问内存时检测指针的完整性来抵御攻击。然而，存在一类可以绕过指针完整性检查的策略来进行攻击的实 例，比如数组的越界访问攻击。提出了一种基于动态着色跟踪分析的方法来解决这类已有着色技术不能检测的问题。 其思想是，借助于内存访 问控制的思路，首先像 已有的动态着色技术那样，在 内存访 问时对指针进行完整性检查，然后 检查指针将要访 问的内存区域是否处于指针合理的访 问范围之 内。原型系统是基于Valgrind的，并不需要源码，因 此可以用于很多商业软件。初步实验验证结果表明，该方法可以有效地检测出很多类型的攻击，系统的性能损耗接近 于Memcheck这种常用的内存错误检测工具。 关键词 内存腐烂攻击 ，指针着色，内存访问 MemoryCorruptionDetectionBasedonDynamicTaintAnalysisandAccessControl WANG Lei M A0 Bing XIE Li (StateKeyLaboratoryofComputerSoftwareandNewTechnology，NanjingUniversity，Nanjing210093，China) (DepartmentofComputerScienceandTechnology，NanjingUniversity，Nanjing210093，China) Abstract Memorycorruption attacksaccountformostpartsofmaliciousattackstowardsoftwaresecurity．Recently dynamictaintanalysiswasproposedandwasgainingmomentum．Thisproposedtechniqueattemptstodefeatattacksby checkingthetaintednessandintegrityofpointerswhenaccessingmemory．Unfortunately，thereexistssomeclassofat— tackswithouttaintingpointers，suchasarrayboundsviolationattacksusingpointers．W eproposedanovelapproachto defeatthiskindofundetectedattacksusingtaint—basedtrackinganalysis．Ournotionisbasedonthememoryaccesscon— trol，thatis，first，wewillcheckthetaintednessofthepointerswhenaccessingmemorylikeexistingtaint-basedapproa— ches，second，wewillcheckwhetherornotthememoryareapointedbythepointerisinthelegitimaterangeoftheac— cessingpointer．Ourimplementationdoesnotneed sourcecodeand isbasedonValgrind，henceworksoncommodity software．Todemonstrateouridea，weperformedaprelimina