资料下载
×
ROP图灵完备的普遍可实现性
消耗积分:3 |
格式:rar |
大小:0.66 MB |
2017-12-25
分享资料个
返回导向编程（return-oriented programmmg，简称ROP）被广泛用于软件漏洞利用攻击中，用来构造攻击代码．通过更新ROP构造技术，证实了图灵完备的纯ROP攻击代码在软件模块中是普遍可实现的．ROP构造功能代码的难点是实现条件转移逻辑．通过深入分析条件转移机器指令的执行上下文发现，对这些指令的传统认知存在一定的局限性，事实上，在已有代码中存在少量的条件转移指令，它们的两个分支的开始部分都是可复用的代码片段（称为gadgets），而且这两个gadgets会从不同的内存单元中取得下一个gadget的地址，因此，以这些条件转移指令开始的代码片段可以帮助ROP实现条件转移逻辑．把这种代码片段称为if-gadget．在Linux和Windows系统上的实验结果表明，if-gadget普遍存在，即使在代码量很小的日常可执行程序中也存在．在Binutils程序集上的实验结果表明，引入if-gadget后，构造图灵完备的ROP代码要比用传统方法容易得多．在Ubuntu这样的主流操作系统上，由于可执行程序上默认没有实施防御ROP攻击的保护机制，因此，攻击者可以在这些软件模块中构遣纯ROP攻击代码来发动攻击．由此可见，ROP对系统安全的威胁比原来认为的严重得多．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
