基于符号执行的Python攻击脚本分析平台

发布时间：2017-11-10 12:27

  本文关键词：基于符号执行的Python攻击脚本分析平台

  更多相关文章： 符号执行 Python语言 动态分析 测试数据生成 攻击脚本 路径探索

【摘要】：传统的静态分析方法大多不能准确处理脚本与网络交互的过程,且会引入不可达路径,动态分析则需要搭建实验环境和手工分析。针对上述问题,提出一种基于符号执行的Python攻击脚本分析平台Py Ex Z3+。通过对Python脚本的动态符号执行及路径探索,可以获得触发攻击的输入流量及相应的输出攻击载荷,以此实现对Python攻击脚本的自动化分析。采用循环识别及运行时解析等优化策略,使程序更快进入目标代码。实验结果表明,Py Ex Z3+相比CHEF,Py Ex Z3等符号执行工具,具有更高的路径覆盖率和执行效率,同时Py Ex Z3+能够对目标脚本程序进行动态检测,实现高效、可行的自动化分析。
【作者单位】： 上海交通大学信息安全工程学院;
【基金】：中国信息安全评测中心科研项目(CNITSEC-KY-2013-009/2)
【分类号】：TP309
【正文快照】： 中文引用格式:邱洋,王轶骏,薛质.基于符号执行的Python攻击脚本分析平台[J].计算机工程,2016,42(11):139-146.英文引用格式:Qiu Yang,Wang Yijun,Xue Zhi.Python Attack Script Analysis Platform Based on Symbolic Execution[J].Computer Engineering,2016,42(11):139-146.0

【相似文献】

中国期刊全文数据库 前10条

1 姚竞;;面向项目的“Python程序设计”教学实践与研究[J];福建电脑;2009年07期

2 透明;;关于Python[J];程序员;2002年03期

3 王宁,汪飞星;基于Python开发气象服务器运行系统界面[J];微机发展;2003年07期

4 汤韬;;Python库简介[J];程序员;2006年06期

5 郭芬;刘明;;Python垃圾收集器原理研究及应用[J];信息技术;2009年07期

6 王丽;;Python的元类编程研究[J];电脑编程技巧与维护;2011年06期

7 李爱宁;唐勇;孙晓辉;刘昕彤;;基于Python语言的3DES算法优化[J];计算机系统应用;2011年08期

8 曾浩;;Python在其它语言中的应用研究[J];大众科技;2012年07期

9 鞠文飞;曾智锐;;使用Python开发跨平台的单词助记程序[J];电脑编程技巧与维护;2012年24期

10 江岸;;基于Python的网络游戏脚本系统的设计与实现[J];电脑知识与技术;2013年09期

中国重要会议论文全文数据库 前3条

1 伊鹏跃;于哲峰;汪海;;基于Abaqus/Python的三维复合材料层压板有限元建模参数化开发[A];第17届全国复合材料学术会议（复合材料结构设计与性能表征分论坛）论文集[C];2012年

2 黄佳聪;高俊峰;;基于Python编程语言的空间动态模型集成[A];自然地理学与生态安全学术论文摘要集[C];2012年

3 于文丽;;基于Python的空间自相关模式研究[A];中国地理学会百年庆典学术论文摘要集[C];2009年

中国重要报纸全文数据库 前1条

1 本报记者 蒙克;颠覆传统数据库的“玩具”[N];网络世界;2009年

中国硕士学位论文全文数据库 前10条

1 王蓓蓓;Python动态特性对软件维护的影响研究[D];南京大学;2016年

2 李清言;Pyreview：一个基于抽象语法树差异提取的Python源代码分析工具[D];南京大学;2016年

3 王朝阳;基于Python的图书信息系统的设计与实现[D];吉林大学;2016年

4 邝洪胜;基于Python的电商导购APP设计与实现[D];华南理工大学;2015年

5 李悦;基于Python+Tkinter的Linux GUI辅助管理工具的设计与实现[D];吉林大学;2009年

6 赵强;用于PCB版图审查的Python脚本子系统设计与实现[D];西安电子科技大学;2014年

7 赵明洪;Python程序设计题的查重研究[D];新疆农业大学;2015年

8 王健;Python插件在CG制作管理中的应用[D];南京理工大学;2008年

9 张正阳;基于Python的户外通讯设备连接关系的挖掘研究[D];苏州大学;2015年

10 李鑫;基于Python的软件测试自动化平台[D];太原科技大学;2014年

，

本文编号：1166667