教育论文网

智能合约运行时自我保护技术的研究与实现

硕士博士毕业论文站内搜索    
分类1:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文一般性问题论文安全保密论文
分类2:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文程序设计、软件工程论文程序设计论文
智能合约运行时自我保护技术的研究与实现
论文目录
 
摘要第1-6页
Abstract第6-10页
第一章 绪论第10-16页
 1.1 研究背景及意义第10-11页
 1.2 国内外发展现状第11-14页
  1.2.1 基于特征代码匹配的智能合约代码审计第11-12页
  1.2.2 基于形式化验证的智能合约代码审计第12页
  1.2.3 基于符号执行、符号抽象的智能合约审计第12-13页
  1.2.4 基于fuzz的智能合约代码审计第13-14页
 1.3 论文主要工作和创新点第14-15页
  1.3.1 主要工作第14-15页
  1.3.2 主要创新点第15页
 1.4 论文结构与安排第15-16页
第二章 相关理论及技术基础第16-28页
 2.1 以太坊虚拟机EVM第16-19页
  2.1.1 EVM的基本结构第16-17页
  2.1.2 EVM的执行流程第17-19页
 2.2 智能合约漏洞第19-25页
  2.2.1 整数溢出漏洞第19-20页
  2.2.2 重入漏洞第20-22页
  2.2.3 拒绝服务攻击第22-24页
  2.2.4 未检查底层call调用的返回值漏洞第24页
  2.2.5 错误随机数漏洞第24-25页
  2.2.6 时间戳依赖漏洞第25页
 2.3 运行时应用程序自我保护技术第25-26页
 2.4 本章小结第26-28页
第三章 基于EVM的智能合约运行时漏洞检测技术研究第28-42页
 3.1 基于EVM存储的漏洞敏感数据流分析第28-30页
  3.1.1 技术概述第28-29页
  3.1.2 污点传播途径分析第29-30页
 3.2 基于敏感算术操作码的整数溢出漏洞检测技术第30-35页
  3.2.1 基于敏感算术操作码的整数溢出漏洞检测模型第31-32页
  3.2.2 算术操作数类型获取第32-34页
  3.2.3 数据类型强制转换规则第34-35页
 3.3 基于敏感CALL操作码的智能合约漏洞检测技术第35-38页
  3.3.1 重入漏洞检测模型第35-37页
  3.3.2 拒绝服务攻击漏洞检测模型第37-38页
  3.3.3 未检查底层call调用返回值漏洞检测模型第38页
 3.4 基于区块信息操作码的智能合约漏洞检测技术第38-41页
  3.4.1 错误随机数漏洞检测模型第38-40页
  3.4.2 时间戳依赖漏洞检测模型第40-41页
 3.5 本章小结第41-42页
第四章 原型框架ESER的设计与实现第42-57页
 4.1 整体框架设计与实现第42-43页
 4.2 主要功能模块设计与实现第43-55页
  4.2.1 污点分析模块第43-46页
  4.2.2 RASP接口模块第46-47页
  4.2.3 漏洞检测模块第47-54页
  4.2.4 智能止血模块第54-55页
 4.3 本章小结第55-57页
第五章 ESER框架的测试与分析第57-64页
 5.1 测试环境第57页
 5.2 测试用例第57-59页
 5.3 测试结果分析第59-61页
  5.3.1 功能比对分析第59-60页
  5.3.2 指标比对分析第60-61页
 5.4 运行效率测试第61-62页
 5.5 本章小结第62-64页
第六章 总结与展望第64-66页
 6.1 总结第64页
 6.2 展望第64-66页
参考文献第66-70页
致谢第70-71页
攻读学位期间取得的研究成果第71页

本篇论文共71页,点击这进入下载页面
 
更多论文
智能合约运行时自我保护技术的研究
云环境下支持密文搜索的健康数据安
基于动态符号执行和静态分析的Fuzz
基于全局函数调用关系的Android系统
面向驾驶场景的车载应用检测技术研
面向医疗图像的可逆数字水印算法研
基于双向Transformer编码器及分段卷
基于交互式图模型的关系抽取模型研
基于抽象语法树的代码缺陷检测技术
文本主题建模技术研究与实现
支持隐私保护的数据挖掘方法研究及
基于对抗网络的跨领域关系抽取研究
面向Android平台的App保护方案研究
基于FAHP与SVM的安全风险评估方案研
面向车联网的分层区块链设计与实现
基于微服务业务平台的服务监控研究
视频智能填充的研究与实现
基于web的三维虚拟形象生成与控制方
基于微服务架构的加氢站选址系统设
面向文本的实体关系提取方法的研究
组件化可配置B2B2C平台运营前端系统
基于微服务的B2B2C平台销售系统服务
基于LDA主题模型和ALS协同过滤的节
基于隐式社群和多模态的视频推荐算
复合型日志模版提取方法的研究与实
面向智能客服的多人交互式WebAR系统
基于网络切片下的车联网无线资源分
基于雾计算的智能工厂网络资源调度
基于Hyperledger的私有区块链系统设
示例图像的特征表示和检索
行人的特征表示与再辨识
面向物联网应用的增强安全机制研究
可扩展的智能合约扫描器的研究与实
基于视频分析的动态纹理缺陷检测
基于Appium的APP并行自动化测试平台
面向异构计算的大数据智能分析平台
基于移动大数据的人群移动事件的检
基于移动摄像头的多目标检测、跟踪
复杂条件下的高效人脸检测算法
个性化推荐的城市穿越与定向运动平
“城市穿越”的智能化数据管理系统
Scratch教学平台教师端管理系统的设
面向篮球运动的智能比赛解析系统设
基于上下文感知和多特征的群组活动
基于仿射匹配的双目视觉由运动恢复
面向三维重建的单目深度估计研究与
网络文档的信息隐藏技术研究与实现
纸质文件的溯源追踪技术研究
基于Web的数据挖掘可视化平台研究与
面向多场景的大数据集成存储与治理
基于GIS的海量交通数据可视化系展现
水生态治理建设中水资源管理平台的
路桥维护管理系统的设计与实现
光场图像的快速视差计算与并行化实
边缘约束的3D场景三角剖分深度估计
基于多特征融合的遮挡关系推理研究
动态异质信息网络表示学习研究
基于Scratch3的在线编程系统的设计
Python在线学习平台的设计与实现
基于跨模态关联的文本到图像生成系
面向知识库问答的实体链接技术研究
基于注意力模型的图像高级语义标注
基于区块链的智慧城市资源共享系统
大规模数据的谱聚类算法的设计与实
基于社交关系和地理位置的兴趣点推
基于图像特征迁移学习的PM2.5估算系
 
区块链论文 智能合约安全论文
版权申明:目录由用户sunqua**提供,www.51papers.com仅收录目录,作者需要删除请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved