可扩展的智能合约扫描器的研究与实现

	载入中...

可扩展的智能合约扫描器的研究与实现

分类1：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→程序设计论文
分类2：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→安全保密论文

可扩展的智能合约扫描器的研究与实现

论文目录
摘要	第1-6页
ABSTRACT	第6-10页
第一章绪论	第10-14页
1.1 论文背景与意义	第10页
1.2 国内外研究现状	第10-12页
1.3 主要工作及成果	第12-13页
1.4 论文组织结构	第13页
1.5 本章小结	第13-14页
第二章相关技术调研	第14-22页
2.1 智能合约漏洞检测方式	第14-20页
2.1.1 模式匹配	第14-16页
2.1.2 形式化验证	第16页
2.1.3 符号执行和符号抽象	第16-17页
2.1.4 其他漏洞检测方式	第17-18页
2.1.5 漏洞检测方式优缺点对比	第18-20页
2.2 智能合约漏洞检测工具	第20-21页
2.2.1 智能合约漏洞库	第20页
2.2.2 智能合约漏洞检测工具对比	第20-21页
2.3 本章小结	第21-22页
第三章智能合约扫描器的系统架构设计与实现	第22-35页
3.1 背景与需求	第22-25页
3.1.1 背景与应用场景	第22页
3.1.2 需求分析	第22-25页
3.2 系统设计	第25-27页
3.2.1 智能合约扫描器的整体框架设计	第25-26页
3.2.2 系统序列图	第26-27页
3.3 核心模块的具体设计和实现	第27-34页
3.3.1 扫描任务管理模块	第27-31页
3.3.2 智能合约漏洞检测模块	第31-34页
3.3.3 检测结果整合模块	第34页
3.4 本章小结	第34-35页
第四章智能合约漏洞检测方式的设计与实现	第35-56页
4.1 智能合约漏洞的协同检测	第35-37页
4.2 基于DSL的模式匹配检测	第37-41页
4.2.1 Securify代码审计原理	第37-39页
4.2.2 基于DSL模式匹配检测子模块系统设计	第39-41页
4.3 黑白名单的过滤检测和自动修复	第41-43页
4.4 基于定理证明的数值属性检测	第43-47页
4.4.1 基于定理证明的数值属性检测子模块系统设计	第43-45页
4.4.2 整型溢出检测	第45-47页
4.5 系统部署和测试	第47-53页
4.5.1 系统部署	第47-48页
4.5.2 功能测试	第48-53页
4.6 扫描器的综合评估	第53-55页
4.6.1 扫描器的功能评估	第53页
4.6.2 扫描器的非功能评估	第53-54页
4.6.3 扫描器的检测能力评估	第54-55页
4.7 本章小结	第55-56页
第五章总结与展望	第56-58页
5.1 总结	第56页
5.2 展望	第56-58页
参考文献	第58-61页
致谢	第61页

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

更多论文
可扩展的智能合约扫描器的研究与实
基于视频分析的动态纹理缺陷检测
基于Appium的APP并行自动化测试平台
面向异构计算的大数据智能分析平台
基于移动大数据的人群移动事件的检
基于移动摄像头的多目标检测、跟踪
复杂条件下的高效人脸检测算法
个性化推荐的城市穿越与定向运动平
“城市穿越”的智能化数据管理系统
Scratch教学平台教师端管理系统的设
面向篮球运动的智能比赛解析系统设
基于上下文感知和多特征的群组活动
基于仿射匹配的双目视觉由运动恢复
面向三维重建的单目深度估计研究与
网络文档的信息隐藏技术研究与实现
纸质文件的溯源追踪技术研究
基于Web的数据挖掘可视化平台研究与
面向多场景的大数据集成存储与治理
基于GIS的海量交通数据可视化系展现
水生态治理建设中水资源管理平台的
路桥维护管理系统的设计与实现
光场图像的快速视差计算与并行化实
边缘约束的3D场景三角剖分深度估计
基于多特征融合的遮挡关系推理研究
动态异质信息网络表示学习研究
基于Scratch3的在线编程系统的设计
Python在线学习平台的设计与实现
基于跨模态关联的文本到图像生成系
面向知识库问答的实体链接技术研究
基于注意力模型的图像高级语义标注
基于区块链的智慧城市资源共享系统
大规模数据的谱聚类算法的设计与实
基于社交关系和地理位置的兴趣点推
基于图像特征迁移学习的PM2.5估算系
Android恶意软件检测系统的研究与实
立体仓库模拟系统的可视化设计与实
Scratch3.0角色造型生成的研究与实
基于Spring MVC的呼叫中心业务系统
基于动态污点分析和路径反馈的漏洞
移动应用的UI自动化测试系统的设计
基于多层语义信息与物体推荐的单目
移动应用性能自动化测试系统的设计
基于微博数据的用户画像系统的研究
分布式通用物联网数据管理平台的设
面向地理信息检索的多源数据融合系
基于微服务的可配置B2B2C平台运营后
服务网格下流量控制系统的设计与实
物联网固件脆弱性分析系统的研究与
解释性增强的PC恶意代码可视化分析
基于存储证明的区块链数字内容交易
基于广域高通量共识算法的电子病历
基于函数调用关系的集成测试方法研
面向对象程序的自动化单元测试框架
静态分析中C++中间文件化简方法研究
融合WIFI与视觉信息的目标跟踪系统

智能合约论文扫描器论文协同检测论文可扩展性论文
版权申明：目录由用户wx**提供，www.51papers.com仅收录目录，作者需要删除请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved