基于符号执行的Web安全检测系统的研究与实现

	载入中...

基于符号执行的Web安全检测系统的研究与实现

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机的应用论文→计算机网络论文→一般性问题论文

基于符号执行的Web安全检测系统的研究与实现

论文目录
摘要	第1-6页
Abstract	第6-10页
插图索引	第10-12页
附表索引	第12-13页
第1章绪论	第13-19页
· 课题背景与意义	第13-14页
· 相关研究现状	第14-17页
· 模糊测试	第14页
· 符号执行	第14-15页
· 手工检测	第15页
· 静态和动态分析	第15-16页
· 污点分析	第16-17页
· 论文研究内容	第17页
· 论文组织结构	第17-19页
第2章 Web 安全检测技术相关研究	第19-30页
2.1 Web 应用程序漏洞检测难点分析	第19页
· 符号执行	第19-24页
· 符号执行概述	第19-21页
· 符号执行框架	第21-22页
· 符号执行检测算法	第22-23页
· 符号执行研究现状	第23-24页
· 模糊检测	第24-26页
· 模糊检测基本原理	第24-25页
· 模糊检测工作过程	第25页
· 模糊检测检测数据研究	第25-26页
· 测试数据研究	第26-28页
· 非自动生成方式	第26-27页
· 自动生成方式	第27-28页
· 两种测试数据生成方式分析	第28页
2.5 基于符号执行的 Web 安全检测方法	第28-29页
· 实用性和可行性分析	第28-29页
2.5.2 基于符号执行的 Web 安全检测模型	第29页
· 小结	第29-30页
第3章基于符号执行的输入数据自动生成方法设计与实现	第30-45页
· 方法概况	第30-31页
3.2 简单的 Web 应用实例	第31-32页
3.3 Html 分析器	第32-33页
3.4 Html 约束求解	第33-35页
· 动态符号执行	第35-42页
· 动态符号解析	第35页
· 路径约束条件提取	第35-37页
· 约束条件的求解	第37-41页
· 动态符号执行的实现	第41-42页
· 攻击参数的自动生成	第42-44页
3.6.1 SQL 概念	第42页
· 攻击特征字	第42-43页
· 攻击参数自动生成过程	第43-44页
· 小结	第44-45页
第4章系统的设计与实现	第45-55页
· 系统概述	第45-46页
· 系统流程设计	第46-47页
· 爬行模块	第47-51页
· 爬行模块的实现	第48-50页
· 响应的解析	第50-51页
· 分析模块	第51-52页
· 攻击模块	第52-53页
· 攻击模块的实现	第52-53页
· 安全审计	第53-54页
· 小结	第54-55页
第5章实验结果与分析	第55-64页
· 实验环境	第55页
· 硬件环境	第55页
· 软件环境	第55页
5.2 JSCAN 检测效果展示	第55-57页
· 系统性能测试评价指标与测试分析	第57-64页
· 网页的爬取	第57-59页
· 时间开销	第59-62页
· 漏洞检测	第62-64页
结论	第64-66页
参考文献	第66-71页
致谢	第71-72页
附录 A 攻读硕士学位期间所发表的学术论文目录	第72-73页
附录 B 攻读硕士学位期间所参与的项目	第73 页

本篇论文共73页，点击这进入下载页面。

更多论文
基于符号执行的Web安全检测系统的研
JVM运行时库安全策略的全自动检测方
可用带宽与瓶颈定位集成测量方法的
基于最小风险的中文垃圾邮件过滤技
一种基于轻量级虚拟化的沙盒机制
基于多分支Trie的虚拟路由查找算法
基于SSL协议的VPN接入平台的研究
延迟容忍网络中基于节点价值的效用
基于反馈的区分服务网络拥塞管理方
基于IPv4与IPv6融合的校园网建设研
基于非结构化P2P网络的可扩展性研究
基于蝴蝶网络的P2P存储结构研究
基于内核过滤技术的Drive-by Downl
基于SET协议的网银在线支付终端身份
精神分裂症脑功能连接数据的分类方
基于RGB-Depth摄像机的手势交互技术
基于粒子滤波的红外目标跟踪的研究
基于SOA的物联网中间件研究
复数矩阵LDA与2DLDA人脸识别算法研
基于对象边缘分析的数字媒体被动取
基于累积平均密度的聚类算法研究
基于统计特征的数字视频被动取证技
基于多特征级联分类器的道路车辆检
全信息比对法在指纹识别处理中的应
基于主向量的非标记动作捕获系统的
空域图像LSB匹配隐写分析技术
基于序列图像的安瓿瓶药液可见异物
基于小波变换的图像压缩感知方法研
社会网络中的时空周期行为模式挖掘
成熟油茶果识别与定位系统
面向对象的高分辨率遥感图像分割方
基于人体运动捕获数据的运动编辑技
基于SOA技术的校务信息共享平台研究
一种车用同构多核嵌入式实时操作系
面向卷烟制丝线的SPC系统的应用研究
企业级OA系统的研究与设计
云环境中基于访问控制模型的工作流
多传感器图像融合算法研究
基于多元回归算法的电量分析系统的
基线方法在测试数据生成中的应用与
车用微控制器运算和译码部件的设计
基于DSP的目标检测与跟踪系统设计
大啁啾高功率激光脉冲传输的自适应
基于模拟网络编码的无线广播隐藏终
协作分集网络的延迟问题研究
光正交频分复用系统中均衡算法的研
机会中继协作系统的链路自适应传输
异构无线移动通信系统中的频率同步
基于安卓平台交互基因的创新性二次
基于最优簇头数的LEACH协议的分析与
ICA算法在射频系统中的应用研究
人工鱼群算法的改进及在无线传感器
暂态电能质量的小波去噪研究
基于压缩感知的雷达目标定位算法研
基于统计模型和贝叶斯估计的语音增
基于ICA的MFCC特征参数提取研究及D
基于视距感知障碍物的MANET移动模型
MIMO-OFDM同步技术研究
数字电路与微机接口虚拟实验系统设
自适应噪声对消滤波器的仿真及其FP
高校博士生指导教师胜任特征模型构
美英中小学增值评价研究--以田纳西
电网运行方式评估及系统开发
微机母线保护及抗TA饱和方法研究
基于TMS320F2812的永磁同步电机伺服
微机保护实验系统的一种新型继电保
电力系统相量测量方法研究
谐波源识别与谐波责任分摊的研究
风电场对发电系统可靠性的影响及其
基于先导法闪络判据的线路及变电站
红外热像检测零值绝缘子影响因素研
基于MRAS的直驱式永磁风力发电机无
建筑漫步空间的当代表达
钢筋—沥青复合隔震墩砌体模型试验
湖区村镇基础设施空间布局研究

Web漏洞论文 Web安全论文模糊测试论文符号执行论文
版权申明：目录由用户龙**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved